Skip to main content

ORIGINAL RESEARCH article

Front. Phys., 24 September 2020
Sec. Statistical and Computational Physics
This article is part of the Research Topic New Trends in Fractional Differential Equations with Real-World Applications in Physics View all 16 articles

Basic Control Theory for Linear Fractional Differential Equations With Constant Coefficients

\nSebastin Buedo-Fernndez,&#x;Sebastián Buedo-Fernández1,2Juan J. Nieto,
&#x;Juan J. Nieto1,2*
  • 1Departamento de Estadística, Análisis Matemático y Optimización, Universidade de Santiago de Compostela, Santiago de Compostela, Spain
  • 2Instituto de Matemáticas, Universidade de Santiago de Compostela, Santiago de Compostela, Spain

In this paper we present an analogous result of the famous Kalman controllability criterion for first order linear ordinary differential equations with constant coefficients that applies to the case of linear differential equations of fractional order with constant coefficients. We use the fractional Gramian matrix, the range space and the Kalman matrix as main tools to derive a sufficient and necessary condition for the controllability of the fractional system. Moreover, we provide some simple examples, including a linear fractional harmonic oscillator, to illustrate our results. Finally, several open problems arising from this topic are suggested, including another simple linear system of incommensurate fractional orders.

1. Introduction

Controllability is a mathematical problem consisting in determining the targets to which one can drive the state of a dynamical system by means of a control input appearing in the equation. We have a dynamical system on which we can exert a certain influence. Is it possible to use this to make the system reach a desirable state? In other words, given a future time, an initial state and a target state, is it possible to find a control function such that the solution of the system starting from the initial state reaches the desirable state at the prescribed future time? For some classical and modern references on control theory we refer to references [13].

On the other hand, fractional calculus and fractional differential equations have recently been applied in various areas of engineering, mathematics, physics and bio-engineering, and other applied sciences. We refer the reader to the monographs [47] and the articles [8, 9]. In particular, there are a growing number of research areas in physics which employ fractional calculus [10] and it has many applications among its different branches, ranging from imaging processing to fractional quantum harmonic oscillator [11]. Recently, in Yıldız [12] the dynamics of a waterborne pathogen fractional model under the influence of environmental pollution has been studied and the solutions of a generalized fractional kinetic equations are obtained [13] using the generalized fractional integrations of the generalized Mittag-Leffler type function. Finally, we highlight that different fractional systems have also been considered in the framework of control theory [1418].

In the context of the latter application of fractional calculus, we present the current work, which deals with the controllability of a linear fractional differential equation with constant coefficients. The paper is organized as follows: In section 2, we recall the Kalman criterion for controllability of a linear system of first order. In section 3 we consider a linear system of fractional order, whose general solution is presented in terms of the Mittag-Leffler function. By using that representation we finally give in section 4 a new criterion for controllability.

Although this criterion is known since 1996 [19] we give another approach and use some elements of fractional calculus and a different proof to obtain the results. Also we reveal some interesting connections between linear differential equations of fractional order, control problems, linear algebra, Mittag-Leffler functions, geometry and physics.

For the relation between controllability of standard and fractional systems, see Klamka [20]. The calculation of the Gramian is useful to find a control to steer a given initial state to another prescribed final state.

2. Classical Linear Control

Let AMn×n() and f:[0, ∞) → ℝ be continuous. Consider the linear system

x(t)=Ax(t)+f(t),    (1)

with the initial condition

x(0)=x0n.    (2)

The solution of problem (1) and (2) is given by

x(t)=eAtx0+0teA(t-s)f(s)ds.

Now consider the same system with a control function, so (1) is written like

x(t)=Ax(t)+Bu(t),    (3)

where BMn×m() and u:[0, ∞) → ℝm is a possible control. For a given continuous control input u, the solution of (3) with initial condition x(0) = x0 is

x(t)=eAtx0+0teA(t-s)Bu(s)ds.

For a given time t > 0 and an initial state x(0) = x0, the reachable set of (1) at time t > 0 related to x0 is the set Rt(x0) of all states x(t) that can be reached from x0 by any control input. The linear system (3) is controllable if for any x0,x1n, there exists a control u such that the corresponding solution satisfies x(0) = x0 and x(t) = x1.

There is a simple criterion, the celebrated Kalman criterion for controllability.

Theorem 1. The linear system (3) is controllable if and only if the Kalman matrix

K=(B|AB|A2B||An-1B)

has full rank.

To prove this (see [21]), one of the main ingredients is the controllability Gramian of matrices A and B:

W(t):=0teAsBB*eA*sdsMn×n(),    (4)

where A* and B* are, respectively, the adjoint matrices of A and B. The matrix W(t) is positive semi-definite and its range coincides with the range of the Kalman matrix.

Also a relevant ingredient is the following property for a matrix A. Let φ(z)=k=0akzk be an analytic complex function. An application of the Cayley-Hamilton Theorem implies that there exists a polynomial p of degree less than n such that φ(A) = p(A), i.e.,

φ(A)=p(A)=k=0n-1ckAk,

for certain c0, …, cn−1 ∈ ℂ.

We recall a relevant geometric interpretation. The subspace

R:=R(B|AB||An-1B)

is the smallest A-invariant subspace containing R(B). The linear system (3) is controllable if and only if W(t) is non-singular for t > 0. A physical interpretation of the controllability Gramian is that the input of the system is white Gaussian noise. Then, W(t) is the covariance of the state (see p. 854 in [22]).

3. Linear Control of Fractional Order

Consider now the linear differential equation of fractional order α ∈ (0, 1]

Dαx(t)=Ax(t)+f(t),    (5)

with initial condition

x(0)=x0n,    (6)

where, as before, AMn×n(), fC([0,),n) and Dαx is the fractional derivative of x. We use here the Caputo fractional derivative, which can be defined for any x:[0, ∞) → ℝn absolutely continuous and has the following form:

Dαx(t)=1Γ(1-α)0t(t-s)-αx(s)ds,

where Γ is the classical gamma function. For some applications of fractional differential equations we refer, for example, to references [5, 23, 24].

Note that Dαx(t) = I1−αx′(t), where I1−α is the fractional integral of Riemann-Liouville. In fact, for β > 0 and xLloc1(0,),

Iβx(t)=1Γ(β)0t(t-s)β-1x(s)ds.

Now, let BMn×m() and uC([0,),m). Letting f (t) = Bu(t), we rewrite the Equation (5) as

Dαx(t)=Ax(t)+Bu(t).    (7)

Analogously to the ordinary case, for any t > 0, Rtα will be defined as the reachable set of (7) related to the origin, which is the set of all states x(t) that can be reached from the initial state zero for some continuous control input. We say that the system (7) is controllable if for any x0,x1n there exists a control u such that the solution of (7) with x(0) = x0 satisfies x(t) = x1.

The solution of the first order equation (1) is given in terms of f and the exponential of A:

eAt=k=0Aktkk!.

For the fractional order equation (5) the role of this exponential is played by the Mittag-Leffler functions: for α > 0 and for z ∈ ℂ,

Eα(z)=k=0zkΓ(αk+1).

Note that for α = 1, Eα(z)=ez.

In general, for α, β > 0, the function

Eα,β(z)=k=0zkΓ(αk+β).    (8)

is well-defined in ℂ, since the series in (8) is convergent for every z ∈ ℂ [25]. For instance, if β = 1, we recover the previous case: Eα, 1(z) = Eα(z).

We can substitute z by a matrix A in (8) and the corresponding series converges. Hence, we can define the Mittag-Leffler function of a matrix A as

Eα,β(A)=k=0AkΓ(αk+β).

The solution of (5) is given by the variation of constants formula for fractional differential equations (see Theorem 5.15, p. 323 in [5] or Theorem 7.2, p. 135 in [23]):

x(t)=Eα(tαA)c+0t(t-s)α-1Eα,α((t-s)αA)f(s)ds,

where c is any constant. Imposing the initial condition x(0) = x0, then c = x0.

In the case of (7) with the initial condition (6), the solution is [5, 17]

x(t)=Eα(tαA)x0+0t(t-s)α-1Eα,α((t-s)αA)Bu(s)ds.

At this point, we raise the following questions: In the fractional case, is there an analogous rule to the Kalman criterion? What is the Gramian matrix in such case?

4. Proof of the Fractional Control

We are ready to provide the reasoning that will lead us toward a controllability criterion for system (5).

Let α ∈ (0, 1). By applying the definition of the Mittag-Leffler function, the expression

0t(t-s)α-1Eα,α((t-s)αA)Bu(s)ds

is equal to

0t(t-s)α-1k=0[(t-s)αA]kΓ(αk+α)Bu(s)ds.

Then, by using the uniform convergence, we arrive to the following expression

k=00t(t-s)α-1(t-s)αkAkΓ(αk+α)Bu(s)ds,

which is obviously equal to

limNk=0NAkB0t(t-s)α-1(t-s)αkΓ(αk+α)u(s)ds.

In the previous series, each term is a linear combination of the columns of B, AB, A2B, …, ANB. Any of these matrices is a linear combination of B, AB, A2B, …, An−1B. Hence, the vector

k=0NAkB0t(t-s)α-1(t-s)αkΓ(αk+α)u(s)ds    (9)

is a linear combination of the columns of B, AB, A2B, …, An−1B, i.e., it belongs to the range space of the Kalman matrix K. Therefore, as in the ordinary case, we get RtαR(K). This is a necessary condition for controllability of the linear fractional system (7): The Kalman matrix has full rank. We cannot reach any state outside the range of the Kalman matrix.

The question is how can we get a control u so that

0t(t-s)α-1Eα,α((t-s)αA)Bu(s)ds=x1.

In order to do that, we define the α-Gramian as

Wtα=0t(t-s)α-1Eα,α((t-s)αA)BB*Eα,α((t-s)αA*)(t-s)α-1ds        =0t(t-s)2α-2Eα,α((t-s)αA)BB*Eα,α((t-s)αA*)ds.

Note that for α = 1 we recover the Gramian in (4).

If we prove that R(K)R(Wtα), then, for x1R(K), we get x1R(Wtα) and there exists y such that Wtαy=x1. By taking the control

u(s)=B*Eα,α((t-s)αA*)(t-s)α-1y,

we see that

x1=Wtαy     =0t(t-s)2α-2Eα,α((t-s)αA)BB*Eα,α((t-s)αA*)yds     =0t(t-s)α-1Eα,α((t-s)αA)Bu(s)ds.

Thus, we steers the initial condition 0 to the state x1 at time t > 0. This proves that R(K)Rtα. It only remains proving that R(K)R(Wtα).

Let z ∈ ℝn and suppose that (Wtα)*zz*Wtα=0. For every z ∈ ℝn, this leads to

0=z*Wtαz=z,Wtαz=0t(t-s)2α-2z*Eα,α((t-s)αA)BB*Eα,α((t-s)αA*)zds=0t(t-s)2α-2z*Eα,α((t-s)αA)B2ds0.

For s ∈ [0, t], (ts)α ∈ [0, tα]. Therefore,

z*k=0xkAkΓ(αk+α)B=0,     x[0,tα].

Differentiating k times (k = 0, 1, 2, … ) with respect to x and taking the limit when x → 0+ implies that z*AkB = 0, for k = 0, …, n − 1; i.e.,

z*B=0,,z*An-1B=0.

This gives us that

z*N(Wtα)=N((Wtα)*)z*N(K*).

We have that N((Wtα)*)N(K*) and we can write N(K*)N((Wtα)*). Therefore, we arrive to R(K)R(Wtα).

By gathering all the previous reasonings, we can finally state the following result.

Theorem 2. The fractional system (7) is controllable if and only if the Kalman matrix K has full rank.

As a direct implication, given α′, α″ ∈ (0, 1], there exists a link between the controllability of the system (7) for order α' and the one for order α”:

Corollary 3. If the fractional system (7) is controllable for a certain order α^(0,1], then the system is controllable for every order α ∈ (0, 1].

To conclude, we give several examples showing how Theorem 2 can be applied.

Example 1. Let α ∈ (0, 1). Consider the case n = 2, m = 1, with

x(t)=(x1(t)x2(t)),     A=(1001),     B=(10).

The system can be written as

{Dαx1(t)=x1(t)+u(t),Dαx2(t)=x2(t).    (10)

The system is not controllable since the second equation is independent of the control as in the first order case (α = 1). Nevertheless, it is possible to control x1 and in that sense one may say that (10) is partially controllable. In this example,

K=(1100)

and rank(K) = 1 < 2.

Example 2. Let n = 2, m = 1, α ∈ (0, 1] and consider the system

Dαx(t)=Ax(t)+Bu(t),

where

A=(-2221),     B=(B1B2)M2×1().

The Kalman matrix would be a 2 × 2 real matrix, whose columns are identified with B and AB. Moreover, if B is identified with an eigenvector of A, the system will not be controllable. For example, if

B=(12),

the Kalman matrix takes the form of

K=(1224),

which has not full rank [rank(K) = 1 < 2]. The system would not be therefore controllable.

Something similar happens with the choice

B=(-21).

Nonetheless, any other choice of B which is not a multiple of one of the previous cases, leads to a controllable system regardless the value of α ∈ (0, 1].

Example 3. The classical linear harmonic oscillator ξ” +ξ = u is equivalent to the system (3) taking the position x1 = ξ and the velocity x2=ξ with

A=(01-10),     B=(01).

A fractional control harmonic oscillator would be (7), which takes the form

{Dαx1=x2,Dαx2=u-x1.    (11)

The first equation is independent of the control, but it appears in the second equation, involving both components and the fractional control system (11) is controllable. Indeed, the Kalman matrix

K=(0110)

has full rank.

Example 4. Another possibility is to consider a coupled system of linear incommesurate fractional differential control system α1, α2 ∈ (0, 1):

{Dα1x1=a11x1+a12x2+u1,Dα2x2=a21x1+a22x2+u2,    (12)

but, to the best of our knowledge, no analytical solution is known.

5. Conclusions

In this work, we have studied the controllability of the linear fractional differential equation

Dαx(t)=Ax(t)+Bu(t),

where the Caputo fractional derivative is considered, AMn×n(), BMn×m() and u is a m-dimensional control function. In particular, we have shown that such a system is controllable if and only if the Kalman matrix has full rank, which constitutes the main result, namely Theorem 2.

Although the criterion given in Theorem 2 does not depend on α and thus it becomes an analogous result to the classic one (ordinary case), the tools that we have used actually involve some adaptated reasonings. There are still several relations between the controllability of the system, the corresponding Gramian matrix Wtα, the kernel of the associated operator, the range space Rtα and the Kalman matrix, but some arguments depend on the fractional order α. For instance, we recall that the Gramian matrix Wtα has a singularity if α ∈ (0, 1) and the control steering the initial data x0 to a final state x1 depends on α, so as the coefficients of the linear combination of the matrices B, …, An−1B (which form the Kalman matrix) do in Equation (9).

In the future, some research deserves to be done with respect to further questions related to this work. For example, a couple of crucial problems are the cases where the matrices A and B are not constant, that is, the control system

Dαx(t)=A(t)x(t)+B(t)u(t),

and the non-linear case

Dαx(t)=f(x(t),u(t)),

which is also very relevant in applications and will be considered in detail. In general, in many situations, delay may also appear and functional fractional differential equations of the type

Dαx(t)=f(x(t),x(t-τ),u(t))

have to be considered.

In addition to the former comments, systems with impulses due to impacts are of interest too. Indeed, in Spong [26] and Nieto and Tisdell [27], the problem of controlling a physical object through impacts, called impulsive manipulation, is studied and it arises in a number of robotic applications [28, 29].

Another interesting line is to address the controllability of fractional order systems in the light of other fractional derivatives, such as Riemann-Liouville, Hadamard, Caputo-Fabrizio, etc.

Furthermore, some physical models will be considered under those fractional calculus approaches and the relations among them will be scrutinized.

Moreover, the incommesurate fractional system of Example 4 will also be a relevant problem to consider.

Finally, partial differential equations of fractional order could be treated both from the mathematical point of view and from the physical point of view too.

Data Availability Statement

The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author/s.

Author Contributions

SB-F and JN have contributed equally and significantly to the contents of this paper. All authors contributed to the article and approved the submitted version.

Funding

This research has been partially supported by the AEI of Spain under Grant MTM2016-75140-P, co-financed by European Community fund FEDER and XUNTA de Galicia under grant ED431C 2019/02.

SB-F also acknowledges current funding from Ministerio de Educación, Cultura y Deporte of Spain (FPU16/04416) and previous funding from Xunta de Galicia (ED481A-2017/030).

Conflict of Interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

References

1. Bellman R. Introduction to the Mathematical Theory of Control Processes. Vol. II: Nonlinear Processes. New York, NY; London: Academic Press (1971).

Google Scholar

2. Isidori A. Nonlinear Control Systems: An Introduction. 2nd ed. Berlin; Heidelberg: Springer-Verlag (1989).

Google Scholar

3. Ivancevic VG, Reid DJ. Complexity and Control. Towards a Rigorous Behavioral Theory of Complex Dynamical Systems. Hackensack, NJ: World Scientific Publishing Co. Pte. Ltd. (2015).

Google Scholar

4. Hilfer R. Applications of Fractional Calculus in Physics. Singapore: World Scientific (2000).

Google Scholar

5. Kilbas AA, Srivastava HM, Trujillo JJ. Theory and Applications of Fractional Differential Equations. Amsterdam: Elsevier Science (2006).

Google Scholar

6. Samko SG, Kilbas AA, Marichev OI. Fractional Integrals and Derivatives. Theory and Applications. Amsterdam: Gordon and Breach (1993).

Google Scholar

7. Tarasov VE. Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Berlin; Heidelberg: Springer-Verlag Berlin Heidelberg; Higher Education Press (2010).

Google Scholar

8. Agarwal RP, Baleanu D, Nieto JJ, Torres DFM, Zhou Y. A survey on fuzzy fractional differential and optimal control nonlocal evolution equations. J Comput Appl Math. (2018) 339:3–29. doi: 10.1016/j.cam.2017.09.039

CrossRef Full Text | Google Scholar

9. Alshabanat A, Jleli M, Kumar S, Samet B. Generalization of Caputo-Fabrizio fractional derivative and applications to electrical circuits. Front Phys. (2020) 8:64. doi: 10.3389/fphy.2020.00064

CrossRef Full Text | Google Scholar

10. Hilfer R, editor. Applications of Fractional Calculus in Physics. Singapore: World Scientific (2000).

Google Scholar

11. Herrmann R. Fractional Calculus: An Introduction For Physicists. 2nd ed. Singapore: World Scientific (2014).

Google Scholar

12. Yıldız TA. Optimal control problem of a non-integer order waterborne pathogen model in case of environmental stressors. Front Phys. (2019) 7:95. doi: 10.3389/fphy.2019.00095

CrossRef Full Text | Google Scholar

13. Nisar KS. Generalized Mittag-Leffler type function: fractional integrations and application to fractional kinetic equations. Front Phys. (2020) 8:33. doi: 10.3389/fphy.2020.00033

CrossRef Full Text | Google Scholar

14. Zhang JE. Multisynchronization for coupled multistable fractional-order neural networks via impulsive control. Complexity. (2017) 2017:9323172. doi: 10.1155/2017/9323172

CrossRef Full Text | Google Scholar

15. Rajagopal K, Guessas L, Karthikeyan A, Srinivasan A, Adam G. Fractional order memristor no equilibrium chaotic system with its adaptive sliding mode synchronization and genetically optimized fractional order PID synchronization. Complexity. (2017) 2017:1892618. doi: 10.1155/2017/1892618

CrossRef Full Text | Google Scholar

16. Sheng D, Wei Y, Cheng S, Shuai J. Adaptive backstepping control for fractional order systems with input saturation. J Franklin Inst. (2017) 354:2245–68. doi: 10.1016/j.jfranklin.2016.12.030

PubMed Abstract | CrossRef Full Text | Google Scholar

17. Sene N, Srivastava G. Generalized Mittag-Leffler input stability of the fractional differential equations. Symmetry. (2019) 11:608. doi: 10.3390/sym11050608

CrossRef Full Text | Google Scholar

18. Sene N. Fractional input stability and its application to neural network. Discrete Contin Dyn-S. (2020) 13:853–65. doi: 10.3934/dcdss.2020049

CrossRef Full Text | Google Scholar

19. Matignon D, d'Andréa-Novel B. Some results on controllability and observability of finite-dimensional fractional differential systems. Comput Eng Syst Appl. (1996) 2:952–6.

Google Scholar

20. Klamka J. Relationship between controllability of standard and fractional linear systems. In: Mitkowski W, Kacprzyk J, Oprzedkiewicz K, Skruch P, editors. Trends in Advanced Intelligent Control, Optimization and Automation. KKA 2017. Advances in Intelligent Systems and Computing. Kraków: Springer International Publishing (2017). p. 455–9. doi: 10.1007/978-3-319-60699-6_44

CrossRef Full Text | Google Scholar

21. Kalman RE, Falb PL, Arbib MA. Topics in Mathematical System Theory. New York, NY: McGraw-Hill (1969).

PubMed Abstract | Google Scholar

22. Franklin GF. Feedback Control of Dynamical Systems. 4th ed. Upper Saddle River, NJ: Prentice Hall (2002).

Google Scholar

23. Diethelm K. The Analysis of Fractional Differential Equations. Berlin; Heidelberg: Springer-Verlag Berlin Heidelberg (2004).

Google Scholar

24. Kaminski JY, Shorten R, Zeheb E. Exact stability test and stabilization for fractional systems. Syst Control Lett. (2015) 85:95–9. doi: 10.1016/j.sysconle.2015.08.005

CrossRef Full Text | Google Scholar

25. Gorenflo R, Kilbas AA, Mainardi F, Rogosin SV. Mittag-Leffler Functions, Related Topics and Applications. Berlin; Heidelberg: Springer-Verlag Berlin Heidelberg (2014).

Google Scholar

26. Spong MW. Impact controllability of an air hockey puck. Syst Control Lett. (2001) 42:333–45. doi: 10.1016/S0167-6911(00)00105-5

CrossRef Full Text | Google Scholar

27. Nieto JJ, Tisdell CC. On exact controllability of first-order impulsive differential equations. Adv Differ Equat. (2010) 2010:136504. doi: 10.1155/2010/136504

CrossRef Full Text | Google Scholar

28. Tang Y, Xing X, Karimi HR, Kocarev L, Kurths J. Tracking control of networked multi-agent systems under new characterizations of impulses and its applications in robotic systems. IEEE Trans Ind Electron. (2016) 63:1299–307. doi: 10.1109/TIE.2015.2453412

CrossRef Full Text | Google Scholar

29. Zeng B, Liu Z. Existence results for impulsive feedback control systems. Nonlin Anal Hybrid Syst. (2019) 33:1–16. doi: 10.1016/j.nahs.2019.01.008

CrossRef Full Text | Google Scholar

Keywords: linear differential equations, controllability, fractional Gramian, fractional differential equations, Kalman matrix

Citation: Buedo-Fernández S and Nieto JJ (2020) Basic Control Theory for Linear Fractional Differential Equations With Constant Coefficients. Front. Phys. 8:377. doi: 10.3389/fphy.2020.00377

Received: 05 May 2020; Accepted: 04 August 2020;
Published: 24 September 2020.

Edited by:

Jagdev Singh, JECRC University, India

Reviewed by:

Devendra Kumar, University of Rajasthan, India
Ndolane Sene, Cheikh Anta Diop University, Senegal

Copyright © 2020 Buedo-Fernández and Nieto. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Juan J. Nieto, juanjose.nieto.roig@usc.es

ORCID: Sebastián Buedo-Fernández orcid.org/0000-0002-5485-5667
Juan J. Nieto orcid.org/0000-0001-8202-6578

Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.