1 Introduction

In many motion processes of nature, science, and technology, the state of motion may be changed or interfered suddenly in a very short time, and then the system state will be changed. If the state change time of the disturbed system is very short, it can be regarded as instantaneous, and then this kind of instantaneous sudden change phenomenon is called pulse phenomenon. Time-delay systems are systems with aftereffect or dead time, genetic systems, equations with deviating arguments or differential difference equations. They are used to model various phenomena from population systems, viscoelasticity, biological sciences, chemistry, economics, mechanics, physics, physiology, and engineering sciences. In the real world, impulsive phenomena and time-delay effects are intertwined and interact with each other. Impulse technology is widely used in the state control of time-delay systems and has applications in military and civil fields.

The delayed exponential matrix functions approach was presented in [6, 10] for discrete and continuous delay systems with permutable matrices, respectively. This new approach has been used in the stability of solutions and control problems for linear and nonlinear delay systems (see [1–5, 7–9, 11, 13–20]).

Medved’ and Pospíšil extended the idea of deriving the representation of delay differ- ential equations in [6,10] to multi-delay differential equations with linear parts defined by pairwise permutable matrices in [16] and obtained sufficient conditions for the asymptotic stability of solutions. You and Wang [22, 23] extended the multiple delayed exponential matrix function in [10] to the impulsive case and used it to discuss the representation and stability of solutions in [24]. However, there are still very few results for the relative controllability of impulsive multi-delay differential systems. In this paper, we study the following impulsive multi-delay differential systems:

where are constant matrices, and for each and Now and the control function takes values from represent respectively the right and left limits of

First, we investigate the relative controllability of the linear case of (1), i.e., using the impulsive multi-delayed matrix exponential in (2). Next, we construct a suitable control function for (1), which means that we give a condition (necessary and sufficient) for to lead the solution of (1) with at the time. We apply Krasnoselskii’s fixed point theorem to show that (1) is also relatively controllable under suitable conditions.

The rest of this paper is organized as follows. In Section 2, we give some notations, concepts, and important lemmas. In Section 3, we establish relative controllability results for linear and semilinear systems, respectively. Examples are given to illustrate our main results in the final section.

2 Preliminaries

Let be the -dimensional Euclid space with the vector norm, and be the matrix space with real value elements. For and, we introduce the vector infinite-norm and the matrix infinite-norm respectively, where and are the elements of the vector and matrix. Let be the space of bounded linear operators in . Denote by the Banach space of vector-value bounded continuous functions from endowed with the norm In addition, We introduce a spaceDenote there exist and with for any and Let be two Banach spaces, and denotes the space of all bounded linear operators from Next, denotes the Banach space of functions which are Bochner integrable normed by for some

We recall the notation of the multi-delayed matrix exponential given by [16]:

where and is the zero matrix.

From [24] we knowand

Where

Next, the solution of (1) has the form

Lemma 1. (See [16, Lemma 13].) If then

Lemma 2.Suppose that is convergent, For any we have

Proof. Without loss of generality, we suppose that and We use mathematical induction.

For, by Lemma 1,

For, using Lemma 1, we have

For we suppose that

For using Lemma 1, we have

Thus, we obtain (5).

Finally, using (3) and (5) via one derives (6) immediately. The proof is finished.

Lemma 3 [Krasnoselskii’s fixed point theorem]. (See [12].) Let be a bounded closed and convex subset of Banach space, and let . be maps of into such that for every pair If F₁is a contraction and F₂is compact and continuous, then the equationhas a solution on .

Theorem 1 [PC -type Ascoli–Arzela theorem]. (See [21, Thm. 2.1].) Let where is a Banach space. Then is a relatively compact subset of

1. (i) is a uniformly bounded subset of

2. (ii) is equicontinuous in

3. (iii) are relatively compact subsets of X.

3 Relative controllability

Definition 1. (See [11, Def. 4].) System (1) is called relatively controllable if for an arbitrary initial vector function the final state of the vector and time, there exists a control such that system (1) has a solution that satisfies the boundary conditions and

3.1 Linear systems

Let System (1) reduces to the following linear impulsive multi- delay controlled system:

The solution has a form

Similar to the classical Gramian matrix, we consider the impulsive multi-delay Gramian matrix as follows:

Theorem 2. System (7) is relatively controllable if and only if is nonsingular.

Proof. First, we verify the sufficiency. Since is nonsingular, its inverse is well defined. For any final state one can select a control function as follows:

Where

Then

Next, by contradiction we prove the necessity. We assume that is singular matrix, i.e., there exists at least one nonzero state such that

Then one obtains

which implies for all

Since system (7) is relatively controllable, according to Definition 1, there exists a control that drives the initial state to zero at , i.e.,

Similarly, there also exists a control that drives the initial state to (nonzero) at , i.e.,

Then from (8) and (9) we have

Multiplying both sides of (10) by , we obtain

Thus, which conflicts with Thus, the impulsive multi-delay Gramian matrix is nonsingular. The proof is complete.

3.2 Semilinear systems

We assume the following:

Theorem 3. Suppose that (H1) and (H2) are satisfied. Then system (1) is relatively controllable, provided that

where

Proof. Using hypothesis (H1), for arbitrary and we define the control function by

We show that, using this control, the operator, defined by

has a fixed point , which is a mild solution of (1).

We check that which means thatsteers system (1) from to in infinite time This implies that system (1) is relative vontrollable on J.

For each positive number (a bounded, closed, and convex set of PC ). Set .

We divide the proof into three steps.

Step 1. We claim that there exists a positive number such that From (H2) and Hölder’s inequality we obtain that

From (12), (H1) and (H2) we have

Where

From (H1) and (H2) we have

Where

Hence, we obtain for such an .

Now, we define operators F₁ and F₂ on as

And

Step 2. We claim that F1 is a contraction mapping.

Let From (H1) and (H2), for each we have

Thus,

so we obtain

From (11) we have T < 1, so F₁ is a contraction.

Step 3. We claim that is a compact and continuous operator.

Let with. Using (H2), we have in PC , and thus, using the Lebesgue dominated convergence theorem, we have

which implies that F₂ is continuous on .

To check the compactness of, we prove that is equicontinuous and uniformly bounded. In fact, for any

Let

where is the identity matrix.

From above we see that

Now, we only need to check Clearly,

By the continuity of we have Also,

As a result, we immediately obtain that

for all Therefore,is equicontinuous in PC .

Next, repeating the above computations, we have

Hence, is uniformly bounded. From Theorem 1, is relatively compact in PC . Thus,is a compact and continuous operator.

Furthermore, using Theorem 3, has a fixed point on . Obviously, is a solution of system (1) satisfying. The boundary condition holds from (4). The proof is complete.

4 Numerical examples

Example 1. Consider the following semilinear impulsive multi-delay differential controlled system:

and set Then and

Noteare mutually permutable for and

where

Specifically,

Then

Further, for any ν, µ ∈ R2,

Note

Thus all the conditions of Theorem 3 are satisfied, so (13) is relatively controllable on [0,0.6]; see Fig. 1.

Example 2. In Example 1, let Note is a nonsingular matrix. From Theorem 2 we know that the linear multi-delay system is

and then the control function is given by

5 Conclusion

In this paper the relative controllability of impulsive multi-delay differential systems in finite-dimensional space is considered. In [24] the authors construct the index of impulsive multi delay matrix and give the explicit solution of linear impulsive multi delay differential equations. Based on the expression of the solution of linear impulsive multi delay differential equations, necessary and sufficient conditions for the relative controllability of linear systems and the Gramian criteria are given. In Theorem 3, using Krasnoselskii fixed point theorem, we give a sufficient condition for the controllability of semilinear systems.

In Theorem 2 the control function is given, but it is not necessarily optimal, and we hope in the future to study the optimal control problem of impulsive multi-delay differential equations. In Theorem 3, we require the operator to be compact, and we hope to study controllability under noncompact conditions in the future.

References

1. A. Boichuk, J. Diblík, D. Khusainov, M. Ru˚žicˇková, Fredholm’s boundary-value problems for differential systems with a single delay, Nonlinear Anal., Theory Methods Appl., 72(5):2251– 2258, 2010, https://doi.org/10.1016/j.na.2009.10.025.

2. X. Cao, J. Wang, Finite-time stability of a class of oscillating systems with two delays, Math. Meth. Appl. Sci., 41(13):4943–4954, 2018, https://doi.org/10.1002/mma.4943.

3. J. Diblík, M. Fecˇkan, M. Pospíšil, Representation of a solution of the Cauchy problem for an oscillating system with two delays and permutable matrices, Ukr. Math. J., 65(1):64–76, 2013, https://doi.org/10.1007/s11253-013-0765-y.

4. J. Diblík, M. Fecˇkan, M. Pospíšil, On the new control functions for linear discrete delay systems, SIAM J. Control Optim., 52(3):1745–1760, 2014, https://doi.org/10. 1137/140953654.

5. J. Diblík, D. Ya. Khusainov, M. Ru˚žicˇková, Controllability of linear discrete systems with constant coefficients and pure delay, SIAM J. Control Optim., 47(3):1140–1149, 2008, https://doi.org/10.1137/070689085.

6. J. Diblík, D.Ya. Khusainov, Representation of solutions of discrete delayed system .(. + 1) = Ax(.) + Bx.k m) + . (.) with commutative matrices, J. Math. Anal. Appl., 318(1):63–76, 2006, https://doi.org/10.1016/j.jmaa.2005.05.021.

7. J. Diblík, D.Ya. Khusainov, J. Baštinec, A.S. Sirenko, Exponential stability of linear discrete systems with constant coefficients and single delay, Appl. Math. Lett., 51:68–73, 2016, https://doi.org/10.1016/j.aml.2015.07.008.

8. J. Diblík, B. Morávková, Discrete matrix delayed exponential for two delays and its property, Adv. Difference Equ., 2013:139, 2013, https://doi.org/10.1186/1687-1847- 2013-139.

9. Diblík, B. Morávková, Representation of the solutions of linear discrete systems with constant coefficients and two delays, Abstr. Appl. Anal., 2014:320476, 2014, https: //doi.org/10.1155/2014/320476.

10. D. Ya. Khusainov, G. V. Shuklin, Linear autonomous time-delay system with permutation matrices solving, Stud. Univ. Žilina, Math. Ser., 17(1):101–108, 2003.

11. D.Ya. Khusainov, G.V. Shuklin, Relative controllability in systems with pure delay, Int. Appl. Mech., 41(2):210–221, 2005, https://doi.org/10.1007/s10778-005-0079-3.

12. M. Krasnoselskii, Topological Methods in the Theory of Nonlinear Integral Equations, Pergamon Press, New York, 1964.

13. M. Li, J. Wang, Exploring delayed Mittag-Leffler type matrix functions to study finite time stability of fractional delay differential equations, Appl. Math. Comput., 324:254–265, 2018, https://doi.org/10.1016/j.amc.2017.11.063.

14. C. Liang, J. Wang, D. O’Regan, Controllability of nonlinear delay oscillating systems, Electron. J. Qual. Theory Differ. Equ., 2017(47):1–18, 2017, https://doi.org/10. 14232/ejqtde.2017.1.47.

15. Z. Luo, W. Wei, J. Wang, Finite time stability of semilinear delay differential equations, Nonlinear Dyn., 89(1):713–722, 2017, https://doi.org/10.1007/s11071-017- 3481-6.

16. M. Medved’, M. Pospíšil, Sufficient conditions for the asymptotic stability of nonlinear multidelay differential equations with linear parts defined by pairwise permutable matrices, Nonlinear Anal., Theory Methods Appl., 75(7):3348–3363, 2012, https://doi.org/10. 1016/j.na.2011.12.031.

17. M. Medved’, M. Pospíšil, L. Škripková, Stability and the nonexistence of blowing-up solutions of nonlinear delay systems with linear parts defined by permutable matrices, Nonlinear Anal., Theory Methods Appl., 74(12):3903–3911, 2011, https://doi.org/10.1016/j.na. 2011.02.026.

18. M. Pospíšil, Representation and stability of solutions of systems of functional differential equations with multiple delays, Electron. J. Qual. Theory Differ. Equ., 2012(54):1–30, 2012, https://doi.org/10.14232/ejqtde.2012.1.54.

19. M. Pospíšil, Representation of solutions of delayed difference equations with linear parts given by pairwise permutable matrices via .-transform, Appl. Math. Comput., 294:180–194, 2017, https://doi.org/10.1016/j.amc.2016.09.019.

20. J. Wang, Z. Luo, M. Fecˇkan, Relative controllability of semilinear delay differential systems with linear parts defined by permutable matrices, Eur. J. Control, 38:39–46, 2017, https: //doi.org/10.1016/j.ejcon.2017.08.002.

21. W. Wei, X. Xiang, Y. Peng, Nonlinear impulsive integro-differential equation of mixed type and optimal controls, Optimization, 55(1–2):141–156, 2006, https://doi.org/10.1080/ 02331930500530401.

22. Z. You, J. Wang, On the exponential stability of nonlinear delay systems with impulses, IMA J. Math. Control Inform., 35(3):773–803, 2018, https://doi.org/10.1093/imamci/ dnw077.

23. Z. You, J. Wang, Stability of impulsive delay differential equations, J. Appl. Math. Comput.,

24. Z. You, J. Wang, D. O’Regan, Asymptotic stability of solutions of impulsive multi-delay differential equations, Trans. Inst. Meas. Control, 40(15):4143–4152, 2018, https://doi. org/10.1177/0142331217742966.