Abstract
In this manuscript, a numerical approach for the stronger concept of exact controllability (total controllability) is provided. The proposed control problem is a nonlinear fractional differential equation of order
1 Introduction
Sometimes, integer-order differential equation becomes inadequate to model some physical phenomena such as in anomalous diffusion. Such phenomena give rise to fractional order differential equations. The main advantage of studying fractional order systems is that they allow greater degrees of freedom in the model. Differential equations of fractional order appear more often in diverse areas of science and engineering, such as image processing, signal processing, bio-engineering, viscoelasticity, fluid flow and control theory [1,2,3,4,5,6]. For the fundamental understanding of fractional calculus and related numerical methods, one can refer to [7,8,9,10,11].
On the other hand, some phenomena are characterized by rapid changes. The first kind of changes takes place over a relatively short time compared to the overall duration of the entire process. Mathematical models in these cases are developed using impulsive differential equations. In the second kind, the changes are not negligibly short in duration and these changes begin impulsively at some points and remain active over certain time intervals. The mathematical model of these situations gives rise to a differential equation with non-instantaneous impulses.
The study of non-instantaneous impulsive differential equations has significant applications in different areas, for example, in hemodynamical equilibrium and the theory of rocket combustion. An excellent application of non-instantaneous impulse is the introduction of insulin into the bloodstream. It produces an abrupt change in the bloodstream. The consequent absorption is a gradual process that remains active over a finite time span.
Recently, many researchers have shown their interest in existence, uniqueness of solutions, stability and controllability of impulsive problems with non-instantaneous impulses [12,13,14,15,16]. Hernández and Regan [17] studied mild and classical solutions for the impulsive differential equation with non-instantaneous impulses. Wang and Fečkan [18] have shown existence, uniqueness and stability of solutions of such a general class of first-order impulsive differential equations. Later, Muslim et al. [12] investigated existence, uniqueness of solutions and stability of second-order differential equations with non-instantaneous impulses. However, the controllability of the non-instantaneous impulsive control system is the less treated topic as compared to the existence and uniqueness of solutions.
In the setting of controllability, the control system is an interconnection of components forming a system configuration that will result in a desired system response. Controllability is one of the structural properties of dynamical systems. It provides the ability to move a system around entire configuration space using only certain feasible manipulations. It deals with whether or not the state of a state-space dynamic system can be controlled from the input. Many authors dealt with controllability problems that can be found in many recently published papers [19,20,21,22].
Recently, Wang et al. [19] discussed controllability of fractional non-instantaneous impulsive differential inclusions. However, Wang et al. achieved exact controllability by only applying control in the last subinterval of time. But, Wang et al. did not propose any computational scheme for the steering control. In this manuscript, the control is applied for each subinterval of time, due to which the concept of total controllability arises. Moreover, none of the research papers have so far discussed the numerical approach for the controllability of the non-instantaneous impulsive differential equation of order
where
The manuscript proceeds as follows. In Sections 1–3, the introduction, notations, results and required assumptions are given, which will be required for the later sections. In Section 4, controllability of problem (1.1) is investigated by the iterative scheme. Later, controllability of the integro-differential equation is briefly mentioned in Section 5. In Section 6, a few numerical examples are given to show the application of the obtained results.
2 Preliminaries and assumptions
In this section, some useful definitions related to fractional calculus are briefly reviewed. Also, some necessary properties concerned with the Mittag-Leffler function are discussed.
Let
Definition 2.1
[24] The Riemann-Liouville fractional integral of order
where
Definition 2.2
[24] If
where
Definition 2.3
[24] The Caputo fractional derivative of order
where
The Laplace transform of the Riemann-Liouville fractional derivatives is defined by
The Laplace transform of the Caputo fractional derivatives is defined by
In particular, if
2.1 Mittag-Leffler function
The Mittag-Leffler function is a generalization of the exponential function, and it plays an important role in the solution of the fractional differential equations.
Definition 2.4
[23] A function of the complex variable z defined by
is called the one-parameter Mittag-Leffler function.
In particular, when
i.e., the classical exponential function.
An extension of the one-parameter Mittag-Leffler function is given by the following two-parameter function.
Definition 2.5
[23] A function of the complex variable z defined by
is called the two-parameter Mittag-Leffler function.
For
Definition 2.6
[23] A function of the matrix
is called the two-parameter Mittag-Leffler matrix function.
Let us consider the following fractional impulsive differential equation of order
where
where
and
3 Controllability for the linear system
We consider the linear impulsive differential equation of order
where
Definition 3.1
(Exact controllability) [22] System (3.1) is said to be exactly controllable on
Definition 3.2
(Total controllability) [22] System (3.1) is said to be totally controllable on
Remark
Total controllability
Lemma 3.3
[21,25] The linear system (3.1) is controllable on
In order to prove the controllability for the nonlinear system (1.1), the following assumptions are taken:
(A1)
and
(A2) There exist positive constants
(A3)
Let
Lemma 3.4
If all the assumption (A2) is fulfilled, then the control function for problem (3.1) has an estimate
Proof
The control function for
where
By solution (3.2), the final state at
Hence, control function (3.3) is suitable for problem (3.1), for every
Hence, the required estimate for control (3.3) is obtained.□
4 Controllability for the nonlinear system
Steering of a dynamical control system from an arbitrary initial state to an arbitrary final state on each sub-interval
Theorem 4.1
If all the assumptions (A1)–(A3) are satisfied and the linear system (3.1) is controllable, then the nonlinear system (1.1) is totally controllable on
Proof
In order to prove the controllability results, we adopt the successive approximation technique. Let us define the iterative scheme as follows:
where
and
Since the initial vector
and
where
where
By using inequality (4.6) and the method of induction, the estimate for inequality (4.5) is as follows:
The right-hand side in the aforementioned estimate (4.7) can be made arbitrarily small by choosing sufficiently large value of n. This implies that
where
Since, the control
5 Controllability for an integro-differential equation
In this section, a control system represented by an integro-differential equation in space
where
In order to prove the controllability of the integro-differential Eq. (5.1), the following conditions are required:
(A4) The real-valued function
(A5)
and
Theorem 5.1
If all the assumptions (A1)–(A5) are satisfied and the linear system (3.1) is controllable, then the nonlinear integro-differential system (5.1) is totally controllable on
Proof
Let us define an iterative scheme for the integro-differential system (5.1) as follows:
where
and
Furthermore, the proof is similar to Theorem 4.1. Therefore, it is omitted.□
6 Application
In this section, we will consider the forced string problem and apply the results obtained in the previous section. The Mittag-Leffler matrix function will be evaluated by using Roberto Garrappa’s MATLAB algorithm.
Example 1
Let us consider the linear fractional order impulsive system without control
with initial conditions
Comparing (6.1) with (1.1), we have
![Figure 1 The trajectory of the impulsive linear system (6.1) starts from the initial state 02\left[\begin{array}{c}0\\ 2\end{array}\right] and does not reach the final state 10−10\left[\begin{array}{c}10\\ -10\end{array}\right] on [0,2]{[}0,2].](/document/doi/10.1515/dema-2020-0015/asset/graphic/j_dema-2020-0015_fig_001.jpg)
The trajectory of the impulsive linear system (6.1) starts from the initial state
After introducing the control parameter
Here,
It is clear that Gramian matrix
![Figure 2 The trajectory of the impulsive linear system (6.2) starts from the initial state 02\left[\begin{array}{c}0\\ 2\end{array}\right] and reaches the final state 10−10\left[\begin{array}{c}10\\ -10\end{array}\right] on [0,2]{[}0,2].](/document/doi/10.1515/dema-2020-0015/asset/graphic/j_dema-2020-0015_fig_002.jpg)
The trajectory of the impulsive linear system (6.2) starts from the initial state
Example 2
Consider the nonlinear fractional order impulsive system without control
with initial conditions
Comparing (6.3) with (1.1), we have
![Figure 3 The trajectory of the impulsive linear system (6.3) starts from the initial state 5−5\left[\begin{array}{c}5\\ -5\end{array}\right] and does not reach the final state 05\left[\begin{array}{c}0\\ 5\end{array}\right] on [0,2]{[}0,2].](/document/doi/10.1515/dema-2020-0015/asset/graphic/j_dema-2020-0015_fig_003.jpg)
The trajectory of the impulsive linear system (6.3) starts from the initial state
After introducing the control parameter
Here,
It is clear that Gramian matrix
![Figure 4 The trajectory of the impulsive nonlinear system (6.4) starts from the initial state 5−5\left[\begin{array}{c}5\\ -5\end{array}\right] and reaches the final state 10−10\left[\begin{array}{c}10\\ -10\end{array}\right] on [0,2]{[}0,2].](/document/doi/10.1515/dema-2020-0015/asset/graphic/j_dema-2020-0015_fig_004.jpg)
The trajectory of the impulsive nonlinear system (6.4) starts from the initial state
![Figure 5 The trajectory of the nonlinear system (6.4) starts from the initial state 5−5\left[\begin{array}{c}5\\ -5\end{array}\right] and reaches the final states 06\left[\begin{array}{c}0\\ 6\end{array}\right] and −22\left[\begin{array}{c}-2\\ 2\end{array}\right] in the intervals [0,1]\mathrm{[0,1]} and [32,2]\left[\tfrac{3}{2}\left,2\right], respectively.](/document/doi/10.1515/dema-2020-0015/asset/graphic/j_dema-2020-0015_fig_005.jpg)
The trajectory of the nonlinear system (6.4) starts from the initial state
But, in order to get total controllability of the nonlinear system (6.4), we have the Gramian matrix
where
![Figure 6 The trajectory of the nonlinear system (6.4) steers the initial state 5−5\left[\begin{array}{c}5\\ -5\end{array}\right] to the final states 06\left[\begin{array}{c}0\\ 6\end{array}\right] and −22\left[\begin{array}{c}-2\\ 2\end{array}\right] in the intervals [0,1]{[}0,1] and [32,2]\left[\tfrac{3}{2}\left,2\right], respectively.](/document/doi/10.1515/dema-2020-0015/asset/graphic/j_dema-2020-0015_fig_006.jpg)
The trajectory of the nonlinear system (6.4) steers the initial state
7 Conclusion
In this manuscript, the total controllability of fractional order nonlinear differential equations with non-instantaneous impulses is investigated through the iterative scheme. The total controllability conditions for the nonlinear system are examined by imposing that the linear system is controllable and the nonlinear function satisfies some suitable assumptions. The computation of controlled state and steering control for the linear and nonlinear fractional order impulsive system is proposed by using the Mittag-Leffler matrix function and the Gramian matrix. In the future, for a better understanding of controllability, the computational scheme can be applied to the nonlinear control problems in finite dimensional spaces.
Acknowledgments
Ramesh K. Vats is grateful to Council of Scientific and Industrial Research (CSIR), Government of India, for providing financial assistance under research project no. 25(0268)/17/EMR-II.
References
[1] Q. Yang and D. Chen, Fractional calculus in image processing: a review, Fract. Calc. Appl. Anal. 19 (2016), no. 5, 1222–1249.10.1515/fca-2016-0063Search in Google Scholar
[2] R. Magin, M. D. Ortigueira, I. Podlubny, and J. J. Trujillo, On the fractional signals and systems, Signal Proc. 91 (2011), 350–371.10.1016/j.sigpro.2010.08.003Search in Google Scholar
[3] R. L. Magin, Fractional Calculus in Bioengineering, Begell House Redding, 2006.Search in Google Scholar
[4] R. L. Bagley and P. J. Torvik, On the fractional calculus model of viscoelastic behavior, J. Rheol. 30 (1986), 133–155.10.1122/1.549887Search in Google Scholar
[5] T. Wenchang, P. Wenxiao, and X. Mingyu, A note on unsteady flows of a viscoelastic fluid with the fractional Maxwell model between two parallel plates, Int. J. Nonlinear Mech. 38 (2003), 645–650.10.1016/S0020-7462(01)00121-4Search in Google Scholar
[6] K. Balachandran and V. Govindaraj, Numerical controllability of fractional dynamical systems, Optimization 63 (2014), 1267–1279.10.1080/02331934.2014.906416Search in Google Scholar
[7] I. Podlubny, Fractional Differential Equations, Academic Press, New York, 1999.Search in Google Scholar
[8] A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam, 2006.Search in Google Scholar
[9] K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, Wiley, New York, 1993.Search in Google Scholar
[10] M. Zayernouri and G. E. Karniadakis, Fractional special collocation method, SIAM J. Sci. Comput. 36 (2014), no. 1, A40–A62.10.1137/130933216Search in Google Scholar
[11] M. Zayernouri and G. E. Karniadakis, Fractional Sturm-Liouville eigen-problems: theory and numerical approximation, J. Comput. Phys. 252 (2013), 495–517.10.1016/j.jcp.2013.06.031Search in Google Scholar
[12] M. Muslim, A. Kumar, and M. Fečkan, Existence, uniqueness and stability of solutions to second order nonlinear differential equations with non-instantaneous impulses, J. King Saud Univ. – Sci. 30 (2016), no. 2, 204–213.10.1016/j.jksus.2016.11.005Search in Google Scholar
[13] S. Hristova and R. Terzieva, Lipschitz stability of differential equations with non-instantaneous impulses, Adv. Difference Equ. 2016 (2016), 322, 10.1186/s13662-016-1045-6.Search in Google Scholar
[14] R. Agarwal, S. Hristova, and D. Ó Regan, Practical stability of differential equations with non-instantaneous impulses, Differ. Equ. Appl. 9 (2017), no. 4, 413–432.10.7153/dea-2017-09-29Search in Google Scholar
[15] R. Agarwal, D. Ó Regan, and S. Hristova, Stability by Lyapunov like functions of nonlinear differential equations with non-instantaneous impulses, J. Appl. Math. Comput. 53 (2017), no. 1–2, 147–168.10.1007/s12190-015-0961-zSearch in Google Scholar
[16] R. Agarwal, S. Hristova, and D. Ó Regan, Non-Instantaneous Impulses in Differential Equations, Springer, New York City, 2017.10.1007/978-3-319-66384-5Search in Google Scholar
[17] E. Hernández and D. Ó Regan, On a new class of abstract impulsive differential equations, Proc. Amer. Math. Soc. 141 (2013), 1641–1649.10.1090/S0002-9939-2012-11613-2Search in Google Scholar
[18] J. Wang and M. Fečkan, A general class of impulsive evolution equations, Topol. Methods Nonlinear Anal. 46 (2015), 915–933.10.12775/TMNA.2015.072Search in Google Scholar
[19] J. Wang, A. G. Ibrahim, M. Fečkan, and Y. Zhou, Controllability of fractional non-instantaneous impulsive differential inclusions without compactness, IMA J. Math. Control Inform. 36 (2017), 443–460.10.1093/imamci/dnx055Search in Google Scholar
[20] M. Muslim and A. Kumar, Controllability of fractional differential equation of order α ∈ [1,2] with non-instantaneous impulses, Asian J. Control 20 (2018), no. 2, 935–942.10.1002/asjc.1604Search in Google Scholar
[21] A. Kumar, M. Muslim, and R. Sakthivel, Controllability of the second-order nonlinear differential equations with non-instantaneous impulses, J. Dyn. Control Syst. 24 (2018), 325–342.10.1007/s10883-017-9376-5Search in Google Scholar
[22] D. Chalishajar and A. Kumar, Total controllability of the second order semi-linear differential equation with infinite delay and non-instantaneous impulses, Math. Comput. Appl. 23 (2018), no. 3, 32, 10.3390/mca23030032.Search in Google Scholar
[23] T. Kaczorek, Selected Problems of Fractional Systems Theory, Springer-Verlag, Berlin, 2011.10.1007/978-3-642-20502-6Search in Google Scholar
[24] C. A. Monje, Y. Q. Chen, B. M. Vinagre, X. Xue, and V. Feliu, Fractional-Order Systems and Controls: Fundamentals and Applications, Springer, London, 2010.10.1007/978-1-84996-335-0Search in Google Scholar
[25] K. Balachandran, V. Govindaraj, L. Rodriguez-Germa, and J. J. Trujillo, Controllability of nonlinear higher order fractional dynamical systems, Nonlinear Dyn. 71 (2013), 605–612.10.1007/s11071-012-0612-ySearch in Google Scholar
© 2020 Avadhesh Kumar et al., published by De Gruyter
This work is licensed under the Creative Commons Attribution 4.0 International License.
Articles in the same Issue
- Regular Articles
- Stability of an additive-quadratic-quartic functional equation
- Two new forms of ordered soft separation axioms
- Coefficient inequalities for a subclass of Bazilevič functions
- Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings
- Generalized parabolic Marcinkiewicz integrals associated with polynomial compound curves with rough kernels
- Jordan centralizer maps on trivial extension algebras
- On soft pc-separation axioms
- Direct and strong converse inequalities for approximation with Fejér means
- On perturbed quadratic integral equations and initial value problem with nonlocal conditions in Orlicz spaces
- On θ-generalized demimetric mappings and monotone operators in Hadamard spaces
- On the domain of implicit functions in a projective limit setting without additional norm estimates
- Scalar linear impulsive Riemann-Liouville fractional differential equations with constant delay-explicit solutions and finite time stability
- The special atom space and Haar wavelets in higher dimensions
- A strong convergence theorem for a zero of the sum of a finite family of maximally monotone mappings
- Existence and uniqueness of mild solutions for a fractional differential equation under Sturm-Liouville boundary conditions when the data function is of Lipschitzian type
- The new investigation of the stability of mixed type additive-quartic functional equations in non-Archimedean spaces
- Numerical approach to the controllability of fractional order impulsive differential equations
- Two modifications of the inertial Tseng extragradient method with self-adaptive step size for solving monotone variational inequality problems
- Further results on Ulam stability for a system of first-order nonsingular delay differential equations
- Existence results for nonlinear coupled system of integral equations of Urysohn Volterra-Chandrasekhar mixed type
- Structure of n-quasi left m-invertible and related classes of operators
- Hyers-Ulam stability of a nonautonomous semilinear equation with fractional diffusion
- Hasimoto surfaces for two classes of curve evolution in Minkowski 3-space
- Applications of some operators on supra topological spaces
- An iterative algorithm for the system of split mixed equilibrium problem
- Almost graded multiplication and almost graded comultiplication modules
- Strong convergence of an inertial extrapolation method for a split system of minimization problems
- On the non-hypercyclicity of scalar type spectral operators and collections of their exponentials
- Exponential spline method for singularly perturbed third-order boundary value problems
- Existence results of noninstantaneous impulsive fractional integro-differential equation
- Review Articles
- On a characterization of exponential, Pearson and Pareto distributions via covariance and pseudo-covariance
Articles in the same Issue
- Regular Articles
- Stability of an additive-quadratic-quartic functional equation
- Two new forms of ordered soft separation axioms
- Coefficient inequalities for a subclass of Bazilevič functions
- Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings
- Generalized parabolic Marcinkiewicz integrals associated with polynomial compound curves with rough kernels
- Jordan centralizer maps on trivial extension algebras
- On soft pc-separation axioms
- Direct and strong converse inequalities for approximation with Fejér means
- On perturbed quadratic integral equations and initial value problem with nonlocal conditions in Orlicz spaces
- On θ-generalized demimetric mappings and monotone operators in Hadamard spaces
- On the domain of implicit functions in a projective limit setting without additional norm estimates
- Scalar linear impulsive Riemann-Liouville fractional differential equations with constant delay-explicit solutions and finite time stability
- The special atom space and Haar wavelets in higher dimensions
- A strong convergence theorem for a zero of the sum of a finite family of maximally monotone mappings
- Existence and uniqueness of mild solutions for a fractional differential equation under Sturm-Liouville boundary conditions when the data function is of Lipschitzian type
- The new investigation of the stability of mixed type additive-quartic functional equations in non-Archimedean spaces
- Numerical approach to the controllability of fractional order impulsive differential equations
- Two modifications of the inertial Tseng extragradient method with self-adaptive step size for solving monotone variational inequality problems
- Further results on Ulam stability for a system of first-order nonsingular delay differential equations
- Existence results for nonlinear coupled system of integral equations of Urysohn Volterra-Chandrasekhar mixed type
- Structure of n-quasi left m-invertible and related classes of operators
- Hyers-Ulam stability of a nonautonomous semilinear equation with fractional diffusion
- Hasimoto surfaces for two classes of curve evolution in Minkowski 3-space
- Applications of some operators on supra topological spaces
- An iterative algorithm for the system of split mixed equilibrium problem
- Almost graded multiplication and almost graded comultiplication modules
- Strong convergence of an inertial extrapolation method for a split system of minimization problems
- On the non-hypercyclicity of scalar type spectral operators and collections of their exponentials
- Exponential spline method for singularly perturbed third-order boundary value problems
- Existence results of noninstantaneous impulsive fractional integro-differential equation
- Review Articles
- On a characterization of exponential, Pearson and Pareto distributions via covariance and pseudo-covariance