Next Article in Journal
Fractional-Order Zener Model with Temperature-Order Equivalence for Viscoelastic Dampers
Next Article in Special Issue
Subdiffusion–Superdiffusion Random-Field Transition
Previous Article in Journal
Adaptive Control Design for Euler–Lagrange Systems Using Fixed-Time Fractional Integral Sliding Mode Scheme
Previous Article in Special Issue
An Efficient Approach to Solving the Fractional SIR Epidemic Model with the Atangana–Baleanu–Caputo Fractional Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Modeling and Initialization of Nonlinear and Chaotic Fractional Order Systems Based on the Infinite State Representation

by
Jean-Claude Trigeassou
1,* and
Nezha Maamri
2
1
IMS Laboratory, University of Bordeaux, 33076 Bordeaux, France
2
LIAS Laboratory, University of Poitiers, 86000 Poitiers, France
*
Author to whom correspondence should be addressed.
Fractal Fract. 2023, 7(10), 713; https://doi.org/10.3390/fractalfract7100713
Submission received: 2 September 2023 / Revised: 24 September 2023 / Accepted: 25 September 2023 / Published: 27 September 2023
(This article belongs to the Special Issue Feature Papers for Mathematical Physics Section)

Abstract

:
Based on the infinite state representation, any linear or nonlinear fractional order differential system can be modelized by a finite-dimension set of integer order differential equations. Consequently, the recurrent issue of the Caputo derivative initialization disappears since the initial conditions of the fractional order system are those of its distributed integer order differential system, as proven by the numerical simulations presented in the paper. Moreover, this technique applies directly to fractional-order chaotic systems, like the Chen system. The true interest of the fractional order approach is to multiply the number of equations to increase the complexity of the chaotic original system, which is essential for the confidentiality of coded communications. Moreover, the sensitivity to initial conditions of this augmented system generalizes the Lorenz approach. Determining the Lyapunov exponents by an experimental technique and with the G.S. spectrum algorithm provides proof of the validity of the infinite state representation approach.

1. Introduction

Nonlinear differential and distributed systems are used to model real-world physical processes. The study of nonlinear models is a fundamental topic that has stimulated intense research works reported in classical textbooks [1,2,3]. A particular class of these nonlinear systems corresponds to chaotic systems, which have received important attention since the works of Lorenz [4] and their use for coded and secured communications [5,6]. Initial conditions represent a fundamental topic in system theory [7], but they exhibit a crucial importance for chaotic systems because of their high sensitivity to infinitely small variations of their initial conditions [8], a sensitivity which had already been intuited by Poincaré [9].
The study of integer order chaotic systems is now a well-established theory, with numerous journal papers and books (e.g., [10,11,12]). Fractional calculus researchers have considered the generalization of this theory with the use of fractional derivatives: one can cite the fractional Chua system [13], the survey book on nonlinear and chaotic systems [14], and, for example, the recent research works related in [15]. Knowing that the complexity of chaotic systems is an essential feature to ensure the security of coded communications [16,17], introducing fractional order in the derivatives has been interpreted as a convenient way to increase complexity and security.
However, to our knowledge, fractional calculus researchers have not investigated the fundamental notion of sensitivity to initial conditions since this notion has not been mastered, even in the linear case. The research work presented in this paper intends to emphasize the initialization concept in the nonlinear and chaotic fractional cases, thanks to the infinite state representation, an original approach that has proved its efficiency in the linear case [18].
Fractional order systems, either linear or nonlinear, are characterized by a long memory behavior corresponding to fractional derivatives’ non-locality [19]. Unfortunately, the usual definition of fractional initial conditions is related to the Caputo derivative [20,21,22] and is interpreted as x(0), which is in contradiction with the long memory feature since x(0) is a local initial value.
Many research works on linear system initialization (e.g., the dependence on pre-histories [23], the error linked to the Caputo derivative [24], the necessity of true physical initial conditions [25], the correction of initialization with past history [26], the estimation of exact initial conditions [27], the aberration phenomenon due to the use of the Caputo derivative [28], and the non-objectivity due to the Caputo partial derivative [29]) have proven that the initial conditions related to the Caputo derivative definition are unable to predict the future behavior of fractional systems, which is the main objective of system theory.
However, two approaches have emerged to provide a satisfactory solution to this basic problem:
  • The history function technique of Lorenzo and Hartley [30], which is an input/output approach that avoids the definition of state variables;
  • The infinite state representation of Trigeassou and Maamri [31], which is directly related to an infinite dimension distributed state variable and permits us to take into account the long memory phenomenon.
It has been proven in the linear case that these techniques are equivalent [32]. However, although the history function technique is a good approach to analyzing fractional order problems, such as the misuse of the Caputo derivative, it does not permit the prediction of dynamical transients like the infinite state technique (see, e.g., volume 2 of [18]). Moreover, the input/output approach does not apply in the nonlinear case. On the contrary, the infinite state approach does not suffer from the same limitation, thanks to its distributed state variable. It is perfectly suited to the modeling, the initialization, and the stability of fractional order nonlinear systems, as reported in [18] (e.g., the Lyapunov stability analysis of the van der Pol oscillator, volume 2, chapter 10).
The infinite state technique relies essentially on the Riemann–Liouville integrator and, more specifically, on its infinite dimension modal model. As it has been proven previously [33], integrating fractional differential systems does not require using a specific derivative like the Caputo one. The integration of fractional systems, either linear or nonlinear, is a straightforward generalization of the integer order case [34].
The system state is, in fact, the state of the integrator, i.e., of the fractional integrator; the essential difference to the integer order case is that the system state is infinite-dimensional due to the specificity of the fractional integrator. This methodology [18,31,35] has already been applied to the modeling of fractional linear differential systems. Since a fractional integrator is associated with every fractional derivative, with no constraint on the different fractional orders, the consequence is that a nonlinear system is modeled by the association of an infinite dimension linear part (due to the fractional integrators) and of a nonlinear one (due to the nonlinear system characteristic). Practically, a fractional integrator is approximated by a finite-dimension modal model [35]. Consequently, a large dimension set of nonlinear integer-order differential systems models a nonlinear fractional-order system.
The objective of this paper is two-fold: to generalize the initialization technique developed in the linear case to fractional nonlinear systems and to define an original approach to the modeling of chaotic fractional order systems based on the infinite state representation. The first part of the paper (Section 3 and Section 4) is dedicated to the modeling of fractional nonlinear systems with the infinite state technique and its application to a simple nonlinear system, which permits the definition of the large dimension distributed state variable and, as a consequence, to demonstrate the dependence of system dynamical behaviors on the initial conditions of the equivalent nonlinear integer order system. The second part (Section 5 and Section 6) is related to the application of this technique to a fractional-order chaotic system. The direct consequence is to increase the complexity of the chaotic system since each component is equivalent to a large dimension nonlinear integer order differential system. The other consequence is the sensitivity of the fractional order chaotic system to a large dimension set of initial conditions, which the determination of the corresponding set of Lyapunov exponents will quantify.
The paper is composed of seven sections. The fractional integrator and its distributed infinite dimension modal model are introduced in Section 2. In Section 3, a general technique for the modeling of nonlinear fractional order differential systems is presented. A finite dimension approximation is proposed for modeling an elementary nonlinear system in Section 4, and its initialization based on a distributed state variable is analyzed via numerical simulation. This technique is applied to the modeling and the initialization of the Chen fractional chaotic system in Section 5. The initialization sensitivity of the Chen system is investigated, and the determination of the Lyapunov exponents is presented in Section 6. Finally, the concluding remarks in Section 7 summarize this presentation.

2. Materials and Methods: The Fractional Integrator

2.1. Riemann–Liouville Integration

The Riemann–Liouville integral x ( t ) , or fractional integral, of a function v ( t ) is defined as [21]
x ( t )   =   I t n 0 ( v ( t ) )   =   0 t   ( t     τ ) n 1 Γ ( n )   v ( τ )   d τ                               n   > 0
where Γ ( n ) is the gamma function.
The fractional integral is, in fact, a convolution integral, characterized by the impulse response, or Kernel, h n ( t ) such as
h n ( t )   =   t n 1 Γ ( n )
Using the Laplace transform, we obtain
1 s n   =   L   {   h n ( t )   }
where 1 s n corresponds to the fractional order integration operator.

2.2. The Distributed Fractional Integrator Model

Another expression of h n ( t ) is derived from the inverse Laplace transform of 1 s n [18,36,37] for 0 < n < 1 , which leads to
h n ( t )   =   0   μ n ( ω )   e   ω   t d ω
Ordinary Laplace transform results in
μ n ( ω )   =   sin ( n π ) π   ω   n
where μ n ( ω )   is the weighting function of the modal model of 1 s n .
1 s n   =   0   μ n ( ω )   1 s   +   ω   d ω                     0 < n   < 1
Consequently, the fractional integrator output x ( t ) for any input v ( t ) is the solution of the frequency-distributed integer order model:
{   z ( ω , t ) t   =     ω   z ( ω , t )     +   v ( t )                   ω     [ 0   ,   ) x ( t )   =   0   μ n ( ω )   z ( ω , t )   d ω μ n ( ω )   =   sin ( n π ) π     ω n       0 < n   < 1
Figure 1 displays the graphic representation of Equation (7).
This graph shows that the fractional integrator output is the weighted sum of the frequency-distributed variables z ( ω , t ) , where each variable is the output of a first-order system 1 s   +   ω with input v ( t ) and the initial condition z ( ω , 0 ) .
It also exhibits that the fractional integrator is composed of an infinity of modes ω , ranging from 0 to , whereas the integer order integrator corresponds to only one mode localized at ω   =   0 .
The integrator output x ( t ) , which is only the weighted sum of all the distributed state variables, z ( ω , t ) is called a pseudo-state variable.

2.3. Transients of the Fractional Integrator [35]

Consider the Laplace transform of (7):
{ s   Z ( ω , s )     z ( ω , 0 )   =     ω   Z ( ω , s )   +   V ( s ) X ( s ) =   0   μ n ( ω )   Z ( ω , s )   d ω               ω     [   0   ,     )            
where z ( ω , 0 ) is the initial value of z ( ω , t ) at t   =   0
(8) and then (6) lead to:
X ( s )   =   0   μ n ( ω )   z ( ω , 0 ) s   +   ω   d ω   +   1 s n   V ( s )
So, we can write in the time domain:
x ( t )   =   0   μ n ( ω )   z ( ω , 0 )   e   ω   t   d ω   +   I t n 0 ( v ( t )   )
where
  • 0   μ n ( ω )   z ( ω , 0 )   e   ω   t   d ω is the free response of the fractional integrator initialized by the distributed initial conditions z ( ω , 0 )         ω     [   0   ,     ) ;
  • I t n ( v ( t ) ) is the forced response of the fractional integrator caused by the input v ( t ) .
This means that the definition (1) is an input/output relation, which does not consider the initial conditions z ( ω , 0 ) of the fractional integrator, i.e., its behavior for t ( , 0 ] .
Since (7) is an integer order differential system, it has to verify the fundamental law of linear systems [7]:
system response = free response + forced response.

2.4. The Finite Dimension Approximation

The infinite dimension model and, more particularly, fractional order models have aroused critics [38] because they refer to infinitely slow and fast modes. Obviously, physical systems are not characterized by infinite memory or infinitely fast transients.
In fact, the interest of model (7) is essentially theoretical; it is used to derive proofs for the exact representation of fractional order models, such as initialization issues [33].
Practically, the model (7) is approximated by a finite number of modes ω j inside a frequency band {   ω min   ,   ω max   } , which permits limiting the long memory to a realistic value and eliminating too fast transients. Moreover, an integer order integrator is added to this approximation in order to respect the integrator’s behavior at ω   =   0 . This technique is an indirect discretization, based on the frequency response of 1 s n , inspired by Oustaloup’s synthesis method [39].
Consequently, the finite dimension approximation of model (7) is composed of J cells on the interval {   ω min   ,   ω max   } , associated with an integer order integrator at ω   =   0 .
So, the global approximation (11) is composed of J   +   1 cells (or modes), which act in parallel:
{ d z j ( t ) d t   =     ω j   z j ( t )     + v ( t )             j   =   0     t o       J x ( t )   =   j = 0 J   c j   z j ( t )
Refer to Appendix A for practical information.

3. Modeling of a Fractional Order Nonlinear System

3.1. Elementary Nonlinear System

Consider the elementary fractional order system
D n ( x ( t ) )   =   f (   x ( t ) , u ( t ) )               0   < n   < 1
and the fractional integrator of order n associated with D n ( x ( t ) ) .
The usual approach to integrating (12) is to explicitly use the Caputo or Riemann–Liouville derivatives with their inappropriate initial conditions [21,22].
On the contrary, with the infinite state representation, the differential equation is transformed into an equivalent integral equation [33]:
x ( t )   =   I t n (   D n ( x ( t ) ) )   =   I t n (   f ( x ( t ) , u ( t ) ) )
Then, using the distributed modal model of 1 s n (Equation (7) and according to the principle of infinite state representation [18,33]), Equation (13) is equivalent to:
{ z ( ω , t ) t   =     ω   z ( ω , t )     +   f ( x ( t ) , u ( t ) )         ω   [ 0 , ) x ( t )   =   0   μ n ( ω )   z ( ω , t )   d ω μ n ( ω )   =   sin ( n π ) π     ω n       0 < n   < 1
which is an infinite dimension integer order differential system [40] with the distributed initial condition z ( ω , 0 ) ,       ω   [ 0 ,   ) . This distributed system is represented in Figure 2. This integer order differential system can be integrated with Picard’s method [34] without reference to any fractional derivative.
Notice that the nonlinear system is a closed-loop system composed of two parts:
  • A linear one, corresponding to the integer order distributed model of the fractional integrator;
  • A nonlinear one corresponding to the function f ( x ( t ) , u ( t ) ) .

3.2. General Case: Fractional Order Nonlinear System

Let us consider the N derivatives of nonlinear FDS:
D n _ ( x _ ( t ) )   =   F _ ( x _ ( t ) , u ( t ) )                         dim ( x _ ( t ) )   =   N
with
n _ T   =   [   n 1         n i         n N ] 0     <     n i         1               i   =     1     t o     N x _ ( t ) T   =   [   x 1 ( t )         x i ( t )         x N ( t )   ] F _ T (   x _ ( t ) , u ( t ) )   =   [   f 1 ( x _ , u )         f i ( x _ , u )         f N ( x _ , u )   ]
Consequently, the nonlinear system (12) is equivalent to the infinite dimension integer order differential system:
{ z _ ( ω , t ) t   =     ω   z _ ( ω , t )     +   F _ ( x _ ( t ) , u ( t ) )         ω   [ 0 , ) x _ ( t )   =   0   [   μ n _ ( ω ) ]   z _ ( ω , t )   d ω [   μ n _ ( ω ) ]     =   [ μ n 1 ( ω ) 0 μ n i ( ω ) 0 μ n N ( ω ) ]       0 < n   < 1
where z _ T ( ω , t )   =   [   z 1 ( ω , t )       z i ( ω , t )         z N ( ω , t ) ] represents the state variables of the FDS and z _ T ( ω , 0 )   ;   ω     [   0   ,     ) its distributed initial conditions.
Remark 1.
Notice that no particular hypothesis is required for the different fractional orders, i.e., the proposed modeling technique applies either to commensurate or non-commensurate order systems. Moreover, if  n i   =   1 , then  z i ( ω , t )   =   x i ( t ) , i.e., the ith distributed model reduces to the integer order integrator  1 s .

4. Finite Dimension Modeling and Initialization of an Elementary Nonlinear System

4.1. Finite Dimension Modeling

Consider the elementary nonlinear system (12)
D n ( x ( t ) )   =   f ( x ( t ) , u ( t )   )                             0   <   n   <   1
where
f (   x ( t ) , u ( t )   )   =   a   x 3 ( t )   +   b   x ( t )   +   u ( t )                 a   >   0             b   <   0
Whereas many properties of a linear fractional order system can be analyzed and predicted using the infinite dimension model of the fractional integrator [18], it is necessary to use a finite dimension approximation of this model in order to obtain insight into the dynamics of the nonlinear system such as the stability analysis by Lyapunov method, e.g., thanks to the definition of a new Lyapunov function [41], its application to the control of nonlinear systems [42], the stability analysis of nonlinear systems with fractional damping [43], and the influence of initialization on the stability of a nonlinear system [44].
Using the finite dimension approximation (11), we can write
{ d z j ( t ) d t   =     ω j   z j ( t )   + a x 3 ( t )   +   b   x ( t )   +   u ( t )         j = 0     to     J x ( t )   =   j = 0 J   c j   z j ( t )
This differential system is an integer order nonlinear system of dimension J + 1 , with the initial conditions { z j ( 0 )   ,   j   =   0     t o     J   } . Its numerical simulation permits the investigation of its dynamical behavior and its initialization.

4.2. Simulation and Initialization of the Nonlinear System

System (18) is simulated with the following parameters (refer to [35] for more details on the simulation technique).
a   =   1   ,     b =   1     ,     J   =   20     ,     T e   =   10 3     ,     ω min   =   10 3     ,     ω max   =   10 3
At t   =   0 , the system is at rest, i.e., { z j ( 0 )   =   0     ,   j   =   0     t o     J } .
Two different step inputs, u 1 ( t ) and u 2 ( t ) , are applied and are chosen such as at t   =   T   =   5   s , we obtain the same value x ( T ) . After successive trial and error simulations, we impose:
u 1 ( t )   =   {   U     f o r   0     <     t     <     T 0     f o r     t     >     T u 2 ( t )   =   { U 1       f o r     0     <   t     <     T 2 U 2     f o r     T 2     <     t     <     T 0         f o r     t     >     T
with T = 5   s   , U = 0.632 ,   U 1 = 0.648 ,   U 2 = 0.842 .
The usual approach to the numerical simulation of linear and nonlinear fractional systems is based on the Grünwald–Letnikov (G.L.) derivative [14], in particular on the G.L. integrator, see chapter 3, volume 1 of [18]. Thus, we have compared this technique to the infinite state one. Of course, it would have been possible to use other numerical simulation techniques like those proposed in [21,22]. However, since our objective is to focus on system initialization, these techniques, which rely explicitly on the Caputo derivative and its initial conditions, are inappropriate for this comparison. On the contrary, the G.L. simulation technique provides an explicit initial condition, even if it suffers from its large dimension.
Since the corresponding graphs are very close, we have only represented the infinite state graphs in Figure 3 and evaluated the corresponding simulation errors with the absolute error criterion:
J u   =   i = 0 K   |   x G L ( i )     x I S ( i )   | K   +   1
with
K   =   2   T T e   =   10 4
So, the values of the criterion J u 1   =   0.560       10 3 and J u 2   =   0.153       10 3 demonstrate that the two simulation techniques provide equivalent results.
In fact, the objective of the two inputs is to obtain for t   >   T two free responses x ( t ) starting from the same initial value x ( T ) but with different past histories 0   <   t   <   T (see Figure 3). Obviously, the initial values { z j ( 0 )   ,   j   =   0     t o     J   } are different between the two cases (see Figure 4). This simulation shows that for the same initial value, x ( T ) , the two free responses are different (see Figure 3), that is to say that x ( T ) , as in the FDS linear case [35,45], is not sufficient to predict the future of a fractional differential nonlinear system. This is a supplementary proof of the inability of Caputo’s initial conditions (i.e., x ( 0 ) ) to characterize the initial state of a fractional system, either linear or nonlinear.
It is important to notice that the system state at t   =   T with the G.L. technique is composed of the past values of x ( t ) , for t     [   0   ,   T   ] . The obvious drawback is that the system state becomes too large as T increases. In order to overcome it, Podlubny has proposed the short memory principle [21], which is, however, the origin of a static error (see chapter 3, volume 1 of [18]).
Consequently, the finite dimension state of the infinite state (I.S.) technique provides a not-too-large internal system state without static error, thanks to the supplementary mode at ω   =   0 .
Remark 2.
The graphs in Figure 4 represent the amplitude distribution of the modes  z j ( T ) . Notice that input  u 2 ( t ) generates larger amplitudes at high frequencies than input  u 1 ( t ) .
Remark 3.
Due to the higher frequency distribution of its internal state variables, notice that the decrease in the response initialized by input 2 is faster than the other one.

4.3. Concluding Remark

Linear and nonlinear fractional order systems are characterized by two complementary representations:
  • A compact one like (12 or 15) related to the pseudo-state variables x ( t ) (with specific mathematical tools like the Mittag–Leffler function and the G.L. simulation technique), praised by a majority of fractional researchers with an explicit reference to the Caputo derivative, which is not adapted to a true state space formalism, particularly to solve initialization problems;
  • A frequency distributed one, like (14 or 16), characterized by an infinite dimension set of integer order differential equations, where the distributed state variable z ( ω , t ) is adapted to conventional state space formalism, allowing the solution of initialization problems with the usual mathematical tools of system theory.
In fact, the critics related to the infinite dimension of (14 or 16) are easily avoided using a finite dimension approximation corresponding to a non-singular kernel, allowing the treatment of realistic long memory processes. Moreover, thanks to this approximation, the definition of a distributed state variable z j ( t ) is particularly obvious since each state variable corresponds to a mode ω j in such a way that the initialization problem is nothing else than that of a conventional integer order system, contrary to the “mysterious” initialization of the compact representation.

5. Modeling and Initialization of a Fractional Chaotic System

5.1. Introduction

In his famous paper [4], Lorenz demonstrated that chaos could be generated by a set of three nonlinear equations, which was a simplification of a meteo process. This paper is analyzed in the book [12], which presents a comprehensive interpretation of the chaos phenomenon with simplified mathematics. On the contrary, many papers [10,11] have presented complex mathematical proofs for the existence of the chaotic attractor. Since our paper is intended to propose a novel approach to fractional chaos, we will use a presentation based on numerical simulations with an approach similar to [12].
Since the early 90s, researchers of fractional calculus have converted integer-order chaotic systems into fractional ones simply by replacing ordinary and fractional derivatives with appropriate fractional orders to generate chaos. The book of Petras [14] presents an interesting survey of these results. The Lorenz system can be converted into a fractional system with an order equal to 0.995; in fact, very close to 1. The Chen system, a modified version of the Lorenz system [46,47,48], seems more representative since the fractional order has to be superior to 0.824. Although we have investigated many of the chaotic systems of [14], for this first presentation, we have concentrated on the Chen system with an order equal to 0.9.

5.2. Modeling of the Chen System

Using fractional derivatives with n   =   0.9 , the integer order Chen system becomes:
{ D n ( x ( t ) )   =   a   ( y     x ) D n ( y ( t ) )   =   ( c a )   x   x   z   +   c y D n ( z ( t ) )   =   x   y     b   z
Using the infinite state representation presented previously with the finite approximation (11), system (21) is converted into a large order integer dimension chaotic system:
{ { d Z x , j ( t ) d t   =   ω j   z x , j ( t )   +   a   ( y x )                                                     j   =   0     t o     J x ( t )   =   j = 0 J   c j   z x , j ( t ) { d z y , j ( t ) d t   =   ω j   z y , j ( t )   +   ( c a )   x     x   z   +   c   y             j   =   0     t o     J y ( t )   =   j = 0 J   c j   z y , j ( t ) { d z z , j ( t ) d t   =   ω j   z z , j ( t )   +   x   y     b   z                                                           j   =   0     t o     J z ( t )   =   j = 0 J   c j   z z , j ( t )
We notice immediately the interest in fractional chaos. The fractional order introduces a new degree of complexity compared to the original integer order system. However, the infinite state representation introduces a more important degree of complexity since the fractional order is at the origin of an equivalent large dimension 3   ( J   +   1 ) set of integer order nonlinear equations, whose parameter c j is also dependent on the fractional order through the weighting function μ n ( ω ) and the finite approximation on the interval { ω min   ;   ω max } .
Moreover, it would be possible to introduce three different fractional orders {   n 1   ,   n 2   ,   n 3   } ; thus, the resulting increase in complexity would be able to provide much more secure coded communications.
For a comprehensive presentation of this new approach, we have limited this presentation to a commensurate order system with the same fixed number of J   +   1 cells for each equation.

5.3. Simulation and Initialization of the Chen System

The system (22) is simulated with the following parameters:
a   =   35         b   =   3         c   =   28         n   =   0.9 ω min   =   10 3         ω max   =   10 3       J   =     20           T e     =   10 3
In the first step, it is necessary to arbitrarily initialize the 3   ( J   +   1 ) differential system:
{ z x , j ( 0 )   =     10 j + 1 z y , j ( 0 )   =     10 j + 1 z z , j ( 0 )   =       10 j + 1                             j   =     0     t o     J
With these initial values, after a transient, {   x ( t )     y ( t )     z ( t )   } are in the attractor. So, at T   =   5   s , we collect the corresponding distributions {   z x , j ( T )       z y , j ( T )       z z , j ( T )   } , which will be used as initial values for a second simulation. These distributions are plotted in Figure 5.
Then, we can start the second simulation, which provides the graphs of {   x ( t )     y ( t )     z ( t )   } in Figure 6. The attractor is plotted in Figure 7 and Figure 8 with a final time equal to 50   s .

6. Quantification of Initialization Sensitivity

6.1. Experimental Approach

Since most chaotic fractional research deals with the Caputo derivative and its pseudo-initial conditions {   x ( 0 )     y ( 0 )     z ( 0 )   } , sensitivity to initial conditions has not been investigated, though it represents an essential feature of chaos called the butterfly effect [8].
However, with the initial conditions depicted in Figure 5, it is straightforward to test this sensitivity to an infinitely small variation of one of the components of {   z x , j ( 0 )       z y , j ( 0 )       z z , j ( 0 )   } . Notice that in the integer order case, we can test only one component among 3 [12], whereas in the distributed fractional order case, we can modify only one component among 3   ( J + 1 ) !
For example, we have modified z x , j ( 0 ) for j   =     0 with δ x   =     10 10 , and we have represented the graph of δ j ( t )   =   z x , j ( t )     z ¯ x , j ( t ) with a logarithmic scale, where z ¯ x , j ( t ) represents z x , j ( t ) with its initial condition disturbed by δ x .
We have reproduced the same experiment with two other values of j , i.e., j   =     4 and j   =     9 .
The three graphs are represented in Figure 9.
Since each of these graphs exhibits a pseudo-linear growth between 0 and 10   s (which corresponds to an exponential divergence; see Equations (24) and (25)), we have drawn a straight line in this zone whose slope is approximately equal to 2.6 .
For t   >   10   s , δ j ( t ) has joined the attractor, and it does not increase anymore, so there is a kind of saturation (see [12] p. 329).
We have also performed the same experiment with the pseudo-state variable
x ( t )   =   j = 0 J   c j   z x , j ( t )
and we obtained an equivalent graph (Figure 10) with the same slope of the pseudo-linear zone.
This is an obvious result since x ( t ) is a linear combination of the graphs z x , j ( t ) presenting the same exponential divergence.
Let us define
δ j ( t )   =   z x , j ( t )     z ¯ x , j ( t )
The difference δ j ( t ) is caused by the elementary disturbance δ j ( 0 ) of the initial condition z x , j ( 0 ) . According to well-known results on initial conditions sensitivity [12], the graphs z x , j ( t ) and z ¯ x , j ( t ) diverge exponentially.
So, we can write
  δ j ( t )     =     δ j ( 0 )     e λ   t
where λ is called a Lyapunov exponent.
Since
λ   t   =   ln   δ j ( t )     δ j ( 0 )  
the slope of the pseudo-linear part of the previous graphs is equal to λ .
From Figure 9 and Figure 10, we read off a Lyapunov exponent λ   =   2.6 for the fractional Chen system.

6.2. Determination of Lyapunov Exponents with the G.S. Spectrum Algorithm

Theoretically [49], the number of Lyapunov exponents equals the number of nonlinear chaotic system equations.
So, we have three Lyapunov exponents for a conventional integer-order chaotic system. However, with the infinite state representation, the Chen fractional system has been converted into a 3   ( J   +   1 ) dimension integer-order chaotic system, and consequently, we have to consider 3   ( J   +   1 ) Lyapunov exponents.
It is essential to notice that the exponential divergence of the initialization sensitivity graphs we observed previously is caused by the largest exponential exponent, i.e., by the positive Lyapunov exponent.
We have empirically determined the largest exponent. However, is it possible to determine all these Lyapunov exponents in practice?
The solution is provided by the G.S. spectrum algorithm [49] (see Appendix B).
For this, we have to formulate the Jacobian of the nonlinear system [   J Z _   ]
where
Z _   =   [ z _ x z _ y z _ z ]
with
dim   Z _   =   3   ( J   +   1 )
and to compute the eigenvalues of [ I ]   +   [   J Z _ ( i ) ]     T e at each iteration.
We have applied this algorithm to the Chen system initialized via the distributed initial conditions of Figure 5, and we have only represented three Lyapunov exponents for j = 1 , j = 5 ,   a n d   j = 10 (Figure 11). The 10 first Lyapunov exponents are displayed in Table 1.
As we observe on this graph, there is only one positive Lyapunov exponent, which is equal to λ     2.7 corresponding to the determination of the previous empirical value.
In fact, it would be possible to apply this algorithm to the pseudo-state values with dim   λ _   =   3 .
If we proceed using {   x ( t ) ,   y ( t ) ,   z ( t )   } , we obtain the pseudo-Lyapunov exponents represented in Figure 12.
We obtain λ max   =   6 , which obviously does not correspond to the Lyapunov exponent of the pseudo-state variable x ( t ) calculated previously.

6.3. Concluding Remark

Initialization is a fundamental topic of system theory, particularly chaos theory, where the sensitivity to initial conditions is an essential feature known as the butterfly effect. The initialization of fractional order systems has remained unsolved for many years due to the lack of appropriate initial conditions. Fortunately, the infinite state representation, which transforms the original fractional system into an equivalent large-dimension set of ordinary differential equations, provides an efficient solution to the previous problem, as demonstrated in Section 4.
The application of this methodology to fractional-order chaotic systems is a promising approach, as demonstrated in Section 5 and Section 6. More particularly, the sensitivity to initial conditions has been interpreted and generalized thanks to the usual tools of system theory. Fractional Lyapunov exponents have been derived using the G.S. spectrum algorithm so they can characterize this sensitivity, which we call the fractional butterfly effect.

7. Conclusions

Thanks to the infinite state representation, the fractional-order chaotic Chen system has been transformed into a finite dimension set of integer-order differential equations that can be analyzed via the usual mathematical tools of system theory. This introductory example will deserve more rigorous mathematical developments, like theoretical proofs related to the existence of the attractor of the transformed system and the generalization of this approach to other chaotic fractional order systems. However, an obvious and promising domain of investigation will concern the synchronization of distributed chaotic systems induced via the infinite state representation and their application to more secure communications thanks to the increase in system complexity.

Author Contributions

The two authors (J.-C.T. and N.M.) have equally contributed to the paper. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Fractional Integrator—Numerical Algorithm

The user has to define the frequency range: [   ω min   ;   ω max   ] where ω min is the lower frequency and ω max is the higher one.
      { α   =   ( ω max ω min ) 1 n J         η   =     ( ω max ω min ) n J ω 1   =   ω min   η     ω J   =   ω max η   G n G n   =   10   ( 1 n )   log   ω min                                              
The frequencies are related by:
ω j   =   α   ω j         ,             ω j + 1   =   η   ω j
The coefficients c j are provided by:
{ c 0 = G n c j = G n ( ω j ω j ) ω j i = 1 i j J 1 ω j ω i 1 ω j ω i  

Appendix B. Principle of the G.S. Spectrum Algorithm

Consider the nonlinear system:
d X _ d t   =   F _ ( X _ )   and   a   variation   δ _   of   X _
Then, d ( X _   +   δ _ ) d t   =   d X _ d t   +   d δ _ d t   =   F _ ( X _   +   δ _ )   =   F _ ( X _ )   +   F _ X _   δ _ .
So,
d δ _ d t   =   F _ X _   δ _   =   [   J X _ ]   δ _
where [   J X _ ] is the Jacobian of F _ .
Discretization of (A5) provides
d δ _ d t     δ _ k + 1     δ _ k   Δ t   =   [   J X _ ]   δ _ k
So,
δ _ k + 1   =   ( [ I ]   +   [ J X _ ]   Δ t )     δ _ k
Define
|   δ _ k |   =     exp [ λ ]   k   Δ t     |   δ _ 0 |
So, [ λ ]   k   Δ t     =   log   |   δ _ k | |   δ _ 0 | and [   λ   ]   =   1 k   Δ t   ln |   ( [ I ]   +   Δ t     [ J X _ ( i ) ] ) | .
So, we finally obtain
λ _   =   1 k   Δ t     i = 0 k 1   ln ( λ _ i )
where λ _ i represents the eigenvalues of [   I   ]   +   Δ t   [   J X _   ( i ) ] computed at each iteration with the Gram–Schmidt algorithm [50].

References

  1. Khalil, H.K. Non Linear Systems; Prentice Hall: Hoboken, NJ, USA, 1996. [Google Scholar]
  2. Slotine, J.J.E.; Li, W. Applied Nonlinear Control; Prentice Hall: Upper Saddle River, NJ, USA, 1991. [Google Scholar]
  3. Sastry, S. Nonlinear Systems; Springer: New York, NY, USA, 1999. [Google Scholar]
  4. Lorenz, E.N. Deterministic non-periodic flow. J. Atmos. Sci. 1963, 20, 130–141. [Google Scholar] [CrossRef]
  5. Cuomo, K.M.; Oppenheim, A.V. Circuit implementation of synchronized chaos with applications to communications. Phys. Rev. Lett. 1993, 71, 65–68. [Google Scholar] [CrossRef] [PubMed]
  6. Eroglu, D.; Lamb, J.S.W.; Pereira, T. Synchronization of chaos and its applications. Contemp. Phys. 2017, 58, 207–243. [Google Scholar] [CrossRef]
  7. Kailath, T. Linear Systems; Prentice Hall Inc.: Englewood Cliffs, NJ, USA, 1980. [Google Scholar]
  8. Ghys, E. The Butterfly Effect. In Proceedings of the 12th International Congress on Mathematical Education: Intellectual and attitudinal challenges, Seoul, Republic of Korea, 8–15 July 2012; Springer International Publishing: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
  9. Poincaré, H. Sur le problème des trois corps et les équations de la dynamique. Acta Math. 1890, 13, 1–270. [Google Scholar]
  10. Li, T.Y.; Yorke, J.A. Period three implies chaos. Am. Math. Mon. 1975, 82, 985–992. [Google Scholar] [CrossRef]
  11. Tucker, W. The Lorenz attractor exists. Comptes Rendus De L’académie Des Sci.-Ser. I-Math. 1999, 328, 1197–1202. [Google Scholar] [CrossRef]
  12. Strogatz, S.H. Nonlinear Dynamics and Chaos; Westview Press: Boulder, CO, USA, 1994. [Google Scholar]
  13. Hartley, T.T.; Lorenzo, C.F.; Qammer, H.K. Chaos on a fractional Chua’s system. IEEE Trans. Circuits Syst. I Fundam. Theory Appl. 1995, 42, 485–490. [Google Scholar] [CrossRef]
  14. Petras, I. Fractional Order Nonlinear Systems; Springer: Heidelberg, Germany, 2011. [Google Scholar]
  15. Danca, M.F.; Chen, G. Bifurcation and Chaos in Fractional Order Systems; Special Issue of Symmetry; MDPI: Basel, Switzerland; 108p.
  16. Pecora, L.M.; Carroll, T. Synchronization in chaotic systems. Phys. Rev. Lett. 1990, 64, 821–824. [Google Scholar] [CrossRef]
  17. Pecora, L.M.; Carroll, T.; Johnson, G.A.; Mar, D.J.; Heagy, J.F. Fundamentals of synchronization in chaotic systems, concepts and applications. Chaos 1997, 7, 520–543. [Google Scholar] [CrossRef]
  18. Trigeassou, J.C.; Maamri, N. Analysis, Modeling and Stability of Fractional Order Differential Systems—The Infinite State Approach; John Wiley and Sons: Hoboken, NJ, USA, 2019; Volumes 1–2. [Google Scholar]
  19. Tarasov, V.E. No nonlocality, no fractional derivative. Commun. Nonlinear Sci. Numer. Simulat. 2018, 62, 157–163. [Google Scholar] [CrossRef]
  20. Caputo, M. Elasticita e Dissipazione; Zanichelli: Bologna, Italy, 1969. [Google Scholar]
  21. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  22. Diethelm, K. The Analysis of Fractional Differential Equations; Lecture Notes in Mathematics; Springer: Berlin, Germany, 2010. [Google Scholar]
  23. Fukunaga, M.; Shimizu, N. Role of pre-histories in the initial value problems of fractional viscoelastic equations. Non Linear Dyn. 2004, 38, 207–220. [Google Scholar] [CrossRef]
  24. Hartley, T.T.; Lorenzo, C.F. The error incurred in using the Caputo derivative Laplace transform. In Proceedings of the ASME IDET-CIE Conferences, San Diego, CA, USA, 30 August–2 September 2009. [Google Scholar]
  25. Sabatier, J.; Merveillaut, M.; Malti, R.; Oustaloup, A. How to impose physically coherent initial conditions to a fractional system? Commun. Non Linear Sci. Numer. Simul. 2010, 15, 1318–1326. [Google Scholar] [CrossRef]
  26. Du, M.; Wang, Z. Correcting the initialization of models with fractional derivatives via history dependent conditions. Acta. Mech. Sin. 2016, 32, 320–325. [Google Scholar] [CrossRef]
  27. Du, B.; Wei, Y.; Liang, S.; Wang, Y. Estimation of exact initial states of fractional order systems. Nonlinear Dyn. 2016, 86, 2061–2070. [Google Scholar] [CrossRef]
  28. Zhao, Y.; Wei, Y.; Chen, Y.; Wang, Y. A new look at the fractional initial value problem: The aberration phenomenon. ASME J. Comput. Nonlinear Dyn. 2018, 13, 121004. [Google Scholar] [CrossRef]
  29. Balint, A.M.; Balint, S. Mathematical description of the ground water flow and that of the impurity spread, which use Caputo or Riemann-Liouville fractional partial derivatives, is non objective. Fractal. Fract. 2020, 4, 36. [Google Scholar] [CrossRef]
  30. Hartley, T.T.; Lorenzo, C.F. The initialization response of linear fractional order system with constant history function. In Proceedings of the International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, San Diego, CA, USA, 30 August–2 September 2009. [Google Scholar]
  31. Trigeassou, J.C.; Maamri, N.; Oustaloup, A. The infinite state approach: Origin and necessity. Comput. Math. Appl. 2013, 66, 892–907. [Google Scholar] [CrossRef]
  32. Hartley, T.T.; Lorenzo, C.F.; Trigeassou, J.C.; Maamri, N. Equivalence of history function based and infinite dimensional state initializations for fractional order operators. ASME J. Comput. Nonlinear Dyn. 2013, 8, 041014. [Google Scholar] [CrossRef]
  33. Maamri, N.; Trigeassou, J.C. A plea for the integration of fractional differential systems: The initial value problem. Fractal Fract. 2022, 6, 550. [Google Scholar] [CrossRef]
  34. Picard, E. Mémoire sur la théorie des équations aux dérivées partielles et la méthode des approximations successives. J. Mathématiques Pures Et Appliquées 4ème Série Tome 1890, 6, 145–210. [Google Scholar]
  35. Trigeassou, J.C.; Maamri, N.; Sabatier, J.; Oustaloup, A. State variables and transients of fractional order differential systems. Comput. Math. Appl. 2012, 64, 3117–3140. [Google Scholar] [CrossRef]
  36. Montseny, G. Diffusive Representation of Pseudo Differential Time Operators; LAAS: Toulouse, France, 1998; Volume 5, pp. 159–175. [Google Scholar]
  37. Heleschewitz, D.; Matignon, D. Diffusive realizations of fractional integro-differential operators: Structural analysis under approximation. In Proceedings of the Conference IFAC, System, Structure and Control, Nantes, France, 8–10 July 1998; Volume 2, pp. 243–248. [Google Scholar]
  38. Sabatier, J. Fractional state space description: A particular case of the Volterra equations. Fractal Fract. 2020, 4, 23. [Google Scholar] [CrossRef]
  39. Oustaloup, A. La Commande CRONE; Hermès: Paris, France, 1991. [Google Scholar]
  40. Curtain, R.F.; Zwart, H.J. An Introduction to Infinite Dimensional Linear Systems Theory; Springer: New York, NY, USA, 1995. [Google Scholar]
  41. Trigeassou, J.C.; Maamri, N.; Sabatier, J.; Oustaloup, A. A Lyapunov approach to the stability of fractional differential equations. Signal Process. 2011, 91, 437–445. [Google Scholar] [CrossRef]
  42. Wang, B.; Ding, J.; Wu, F.; Zhu, D. Robust finite time control of fractional order nonlinear systems via frequency distributed model. Nonlinear Dyn. 2016, 85, 2133–2142. [Google Scholar] [CrossRef]
  43. Hinze, M.; Schmidt, A.; Leine, R.L. The direct method of Lyapunov for nonlinear dynamical systems with fractional damping. Nonlinear Dyn. 2020, 102, 2017–2037. [Google Scholar] [CrossRef]
  44. Maamri, N.; Trigeassou, J.C. Modeling and initialization of fractional order nonlinear systems: The infinite state approach. In Proceedings of the IEEE ICSC Conference, Marseille, France, 23–25 November 2022. [Google Scholar]
  45. Tari, M.; Maamri, N.; Trigeassou, J.C. Initial conditions and initialization of fractional systems. ASME J. Comput. Nonlinear Dyn. 2016, 11, 041014. [Google Scholar] [CrossRef]
  46. Chen, G.; Ueta, T. Yet another chaotic attractor. Int. J. Bifurc. Chaos 1999, 9, 1465–1466. [Google Scholar] [CrossRef]
  47. Lü, J.; Chen, G. A new chaotic attractor coined. Int. J. Bifurc. Chaos 2002, 12, 659–661. [Google Scholar] [CrossRef]
  48. Zhou, T.; Tang, Y.; Chen, G. Chen’s attractor exists. Int. J. Bifurc. Chaos 2004, 14, 3167–3177. [Google Scholar] [CrossRef]
  49. Sandri, M. Numerical calculation of Lyapunov exponents. Math. J. 1996, 6, 78–83. [Google Scholar]
  50. Quarteroni, A.; Sacco, R.; Saleri, F. Méthodes Numériques; Springer: Milano, Italy, 2007. [Google Scholar]
Figure 1. The fractional integrator distributed modal representation.
Figure 1. The fractional integrator distributed modal representation.
Fractalfract 07 00713 g001
Figure 2. Distributed representation of a fractional nonlinear system.
Figure 2. Distributed representation of a fractional nonlinear system.
Fractalfract 07 00713 g002
Figure 3. Influence of past behavior on system-free responses.
Figure 3. Influence of past behavior on system-free responses.
Fractalfract 07 00713 g003
Figure 4. Frequency distribution of modes z j ( T ) .
Figure 4. Frequency distribution of modes z j ( T ) .
Fractalfract 07 00713 g004
Figure 5. Initial conditions of the Chen chaotic system at T   =   5   s .
Figure 5. Initial conditions of the Chen chaotic system at T   =   5   s .
Fractalfract 07 00713 g005
Figure 6. The x ( t ) ,   y ( t ) ,   z ( t ) pseudo-state variables of the Chen chaotic system.
Figure 6. The x ( t ) ,   y ( t ) ,   z ( t ) pseudo-state variables of the Chen chaotic system.
Fractalfract 07 00713 g006
Figure 7. Chen z(x) fractional attractor.
Figure 7. Chen z(x) fractional attractor.
Fractalfract 07 00713 g007
Figure 8. Chen z(y) fractional attractor.
Figure 8. Chen z(y) fractional attractor.
Fractalfract 07 00713 g008
Figure 9. Initialization sensitivity of distributed state variables.
Figure 9. Initialization sensitivity of distributed state variables.
Fractalfract 07 00713 g009
Figure 10. Initialization sensitivity of the pseudo-state variable.
Figure 10. Initialization sensitivity of the pseudo-state variable.
Fractalfract 07 00713 g010
Figure 11. The Lyapunov exponents of the Chen chaotic system.
Figure 11. The Lyapunov exponents of the Chen chaotic system.
Fractalfract 07 00713 g011
Figure 12. The pseudo-Lyapunov exponents of the Chen chaotic system.
Figure 12. The pseudo-Lyapunov exponents of the Chen chaotic system.
Fractalfract 07 00713 g012
Table 1. The 10 first Lyapunov exponents derived from the GS spectrum algorithm.
Table 1. The 10 first Lyapunov exponents derived from the GS spectrum algorithm.
i12345678910
lyap exp2.6831−0.0025−0.0038−0.0065−0.0119−0.0228−0.0443−0.0873−0.1726−0.3421
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Trigeassou, J.-C.; Maamri, N. Modeling and Initialization of Nonlinear and Chaotic Fractional Order Systems Based on the Infinite State Representation. Fractal Fract. 2023, 7, 713. https://doi.org/10.3390/fractalfract7100713

AMA Style

Trigeassou J-C, Maamri N. Modeling and Initialization of Nonlinear and Chaotic Fractional Order Systems Based on the Infinite State Representation. Fractal and Fractional. 2023; 7(10):713. https://doi.org/10.3390/fractalfract7100713

Chicago/Turabian Style

Trigeassou, Jean-Claude, and Nezha Maamri. 2023. "Modeling and Initialization of Nonlinear and Chaotic Fractional Order Systems Based on the Infinite State Representation" Fractal and Fractional 7, no. 10: 713. https://doi.org/10.3390/fractalfract7100713

APA Style

Trigeassou, J. -C., & Maamri, N. (2023). Modeling and Initialization of Nonlinear and Chaotic Fractional Order Systems Based on the Infinite State Representation. Fractal and Fractional, 7(10), 713. https://doi.org/10.3390/fractalfract7100713

Article Metrics

Back to TopTop