- Research Article
- Open Access

# On Exact Controllability of First-Order Impulsive Differential Equations

- JuanJ Nieto
^{1}Email author and - ChristopherC Tisdell
^{2}

**2010**:136504

https://doi.org/10.1155/2010/136504

© J. J. Nieto and C. C. Tisdell. 2010

**Received:**5 October 2009**Accepted:**24 February 2010**Published:**8 March 2010

## Abstract

Many dynamical systems have an impulsive dynamical behavior due to abrupt changes at certain instants during the evolution process. The mathematical description of these phenomena leads to impulsive differential equations. In this work, we present some new results concerning the exact controllability of a nonlinear ordinary differential equation with impulses.

## Keywords

- Normed Space
- Continuous Semigroup
- Infinitesimal Generator
- Nonlinear Ordinary Differential Equation
- Impulsive Control

## 1. Introduction

Many evolution processes in nature are characterized by the fact that at certain moments in time they experience an abrupt change of state. Such behavior is seen in a range of problems from: mechanics; chemotherapy; population dynamics; optimal control; ecology; industrial robotics; biotechnology; spread of disease; harvesting; physics; medical models. The reader is referred to [1–8] and references therein for some models and applications to the above areas.

The branch of modern, applied analysis known as "impulsive" differential equations furnishes a natural framework to mathematically describe the aforementioned jumping processes. Consequently, the area of impulsive differential equations has been developing at a rapid rate, with the wide applications significantly motivating a deeper theoretical study of the subject [9–11].

Impulsive control systems have been studied by several authors [12–18]. In [15] the problem of controlling a physical object through impacts is studied, called *impulsive manipulation*, which arises in a number of robotic applications. In [16] the authors investigated the optimal harvesting policy for an ecosystem with impulsive harvest. For some recent references on different control strategies, including impulsive control, we refer the reader to [13, 19–26] and the references therein.

Now, let and and , and is an real matrix.

where is an operator defined on a set of admissible controls and

Our purpose is to the system (1.1)-(1.2) from the initial state to a desired final state in the finite time

We say that system (1.1)-(1.2) is exactly controllable in the time if for any there exists a control such that a solution of (1.1)-(1.2) satisfies Of course, we specify below the space of solutions and controls.

The main idea of our approach is to transform the controllability problem to the existence of a fixed point of an appropriate nonlinear operator generated by the original problem. This approach is not new and has been used by some authors such as Bhat [27], Chang et al. [28, 29], Sakthivel et al. [30], and Tonkov [31].

## 2. Some General Results on Exact Controllability

This linear system is completely controllable if for any there exists a and a control function defined for such that the solution to (2.1) with initial condition satisfies . It is well known [32] that the linear system (2.1) is completely controllable if and only if

where is the infinitesimal generator of a strongly continuous semigroup in a Hilbert space , and a linear bounded operator from a Hilbert space into then if the semigroup is compact the linear system (2.3) is not exactly controllable [33–35].

In this paper we study the finite-dimensional nonlinear impulsive control problem (1.1)-(1.2).

## 3. Exact Controllability without Impulses

In what follows, and hence if is a solution of the initial problem (3.1)-(3.2), then

has a fixed point. Consequently, if the operator , which of course depends on the initial state , has a fixed point for any initial state, then the system is exactly controllable.

Define by the right-hand side in(3.8)

We have thus the following result.

Theorem 3.1.

has a fixed point, then system (3.1) with is exactly controllable.

## 4. Exact Controllability with Impulses

Let and the restriction of to that subinterval

is a Banach space.

Now consider the impulsive control differential equation

where is continuous and there exist the limits

By a solution of (4.5)-(4.6), and for continuous controls we mean a function satisfying (4.5) for every and the impulses (4.6). In the case that the control is, for example, in the space locally, the solution must satisfy (4.5) for almost every for each and the impulses indicated in (4.6).

Lemma 4.1.

Reciprocally, if satisfies (4.8), then is a solution of (4.5)-(4.6).

See [2] for the proof.

As in the nonimpulsive case, this control steers the system for the initial state to the final state in the finite time

Consequently we have the following result.

Theorem 4.2.

If has a fixed point for any initial condition and final condition , then the impulsive system (4.5)-(4.6) is exactly controllable.

## 5. Main Results

Schauder fixed point theorem states that any continuous mapping of a nonempty convex subset of a normed space into a compact set of that normed space has a fixed point [36, Theorem 4.1.1]. One of the most useful consequences is Schaefer's theorem [36, Theorem 4.3.2].

Theorem 5.1.

is bounded then has at least one fixed-point.

The operators and are continuous and compact [2, 37]. Consequently, is also continuous and compact and we can apply Schaefer's theorem.

Theorem 5.2.

then the operator has a fixed point for any and the impulsive system (4.5)-(4.6) is exactly controllable.

Proof.

If is a solution of the equation then

For define Noting that we see that Taking we deduce that the set is a bounded set.

Hence all the possible solutions of the equation are bounded "a priori." By Schaeffer's theorem, has a fixed point, which is equivalent to the exact controllability of the impulsive system (4.5)-(4.6).

As a consequence we have the following.

Theorem 5.3.

Assume that is bounded and the impulses are also bounded. then the operator has a fixed point for any and the impulsive system (4.5)-(4.6) is exactly controllable.

When the nonlinearity is bounded, (4.5) is not exactly controllable in general. Even in the linear case the equation is not exactly controllable in general; see condition (2.2). However, by adding adequate impulses we can control the equation and hence the system becomes exactly controllable.

Example 5.4.

for some the impulsive system (5.9)-(5.10) is completely controllable.

## Declarations

### Acknowledgments

The research of C. C. Tisdell was supported by funding from The Australian Research Council's Discovery Projects (DP0450752). The research of J. J. Nieto was partially supported by Ministerio de Educación y Ciencia and FEDER, Project MTM2007 { 61724, and by Xunta de Galicia and FEDER, Project PGIDIT06PXIB207023PR.

## Authors’ Affiliations

## References

- Gao S, Chen L, Nieto JJ, Torres A:
**Analysis of a delayed epidemic model with pulse vaccination and saturation incidence.***Vaccine*2006,**24**(35-36):6037-6045. 10.1016/j.vaccine.2006.05.018View ArticleGoogle Scholar - Nieto JJ:
**Basic theory for nonresonance impulsive periodic problems of first order.***Journal of Mathematical Analysis and Applications*1997,**205**(2):423-433. 10.1006/jmaa.1997.5207MATHMathSciNetView ArticleGoogle Scholar - Nieto JJ, Rodríguez-López R:
**Periodic boundary value problem for non-Lipschitzian impulsive functional differential equations.***Journal of Mathematical Analysis and Applications*2006,**318**(2):593-610. 10.1016/j.jmaa.2005.06.014MATHMathSciNetView ArticleGoogle Scholar - d'Onofrio A:
**On pulse vaccination strategy in the SIR epidemic model with vertical transmission.***Applied Mathematics Letters*2005,**18**(7):729-732. 10.1016/j.aml.2004.05.012MATHMathSciNetView ArticleGoogle Scholar - Saker SH, Alzabut JO:
**Periodic solutions, global attractivity and oscillation of an impulsive delay host-macroparasite model.***Mathematical and Computer Modelling*2007,**45**(5-6):531-543. 10.1016/j.mcm.2006.07.001MATHMathSciNetView ArticleGoogle Scholar - Samoĭlenko AM, Perestyuk NA:
*Impulsive Differential Equations, World Scientific Series on Nonlinear Science. Series A: Monographs and Treatises*.*Volume 14*. World Scientific, River Edge, NJ, USA; 1995:x+462. With a preface by Yu. A. Mitropol'skiĭ and a supplement by S. I. Trofimchuk. Translated from the Russian by Y. ChapovskyGoogle Scholar - Yan J, Zhao A, Nieto JJ:
**Existence and global attractivity of positive periodic solution of periodic single-species impulsive Lotka-Volterra systems.***Mathematical and Computer Modelling*2004,**40**(5-6):509-518. 10.1016/j.mcm.2003.12.011MATHMathSciNetView ArticleGoogle Scholar - Zavalishchin ST, Sesekin AN:
*Dynamic Impulse Systems. Theory and Applications, Mathematics and Its Applications*.*Volume 394*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997:xii+256.Google Scholar - Nieto JJ, O'Regan D:
**Variational approach to impulsive differential equations.***Nonlinear Analysis: Real World Applications*2009,**10**(2):680-690. 10.1016/j.nonrwa.2007.10.022MATHMathSciNetView ArticleGoogle Scholar - Zhang H, Chen L, Nieto JJ:
**A delayed epidemic model with stage-structure and pulses for pest management strategy.***Nonlinear Analysis: Real World Applications*2008,**9**(4):1714-1726. 10.1016/j.nonrwa.2007.05.004MATHMathSciNetView ArticleGoogle Scholar - Zhang H, Xu W, Chen L:
**A impulsive infective transmission SI model for pest control.***Mathematical Methods in the Applied Sciences*2007,**30**(10):1169-1184. 10.1002/mma.834MATHMathSciNetView ArticleGoogle Scholar - George RK, Nandakumaran AK, Arapostathis A:
**A note on controllability of impulsive systems.***Journal of Mathematical Analysis and Applications*2000,**241**(2):276-283. 10.1006/jmaa.1999.6632MATHMathSciNetView ArticleGoogle Scholar - Jiang G, Lu Q:
**The dynamics of a prey-predator model with impulsive state feedback control.***Discrete and Continuous Dynamical Systems. Series B*2006,**6**(6):1301-1320. 10.3934/dcdsb.2006.6.1301MATHMathSciNetView ArticleGoogle Scholar - Liu X, Willms AR:
**Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft.***Mathematical Problems in Engineering*1996,**2**(4):277-299. 10.1155/S1024123X9600035XMATHView ArticleGoogle Scholar - Spong MW:
**Impact controllability of an air hockey puck.***Systems & Control Letters*2001,**42**(5):333-345. 10.1016/S0167-6911(00)00105-5MATHMathSciNetView ArticleGoogle Scholar - Xiao Y, Cheng D, Qin H:
**Optimal impulsive control in periodic ecosystem.***Systems & Control Letters*2006,**55**(7):558-565. 10.1016/j.sysconle.2005.12.003MATHMathSciNetView ArticleGoogle Scholar - Yan Z:
**Geometric analysis of impulse controllability for descriptor system.***Systems & Control Letters*2007,**56**(1):1-6. 10.1016/j.sysconle.2006.07.003MATHMathSciNetView ArticleGoogle Scholar - Yao J, Guan Z-H, Chen G, Ho DWC:
**Stability, robust stabilization and****control of singular-impulsive systems via switching control.***Systems & Control Letters*2006,**55**(11):879-886. 10.1016/j.sysconle.2006.05.002MATHMathSciNetView ArticleGoogle Scholar - Agranovich G, Litsyn E, Slavova A:
**Impulsive control of a hysteresis cellular neural network model.***Nonlinear Analysis: Hybrid Systems*2009,**3**(1):65-73. 10.1016/j.nahs.2008.10.006MATHMathSciNetGoogle Scholar - Bressan A:
**Impulsive control of Lagrangian systems and locomotion in fluids.***Discrete and Continuous Dynamical Systems. Series A*2008,**20**(1):1-35. 10.3934/dcds.2008.20.1MATHMathSciNetView ArticleGoogle Scholar - Georgescu P, Moroşanu G:
**Pest regulation by means of impulsive controls.***Applied Mathematics and Computation*2007,**190**(1):790-803. 10.1016/j.amc.2007.01.079MATHMathSciNetView ArticleGoogle Scholar - Kloeden PE, Rößler A:
**Runge-Kutta methods for affinely controlled nonlinear systems.***Journal of Computational and Applied Mathematics*2007,**205**(2):957-968. 10.1016/j.cam.2006.02.061MATHMathSciNetView ArticleGoogle Scholar - Palczewski J, Stettner L:
**Impulsive control of portfolios.***Applied Mathematics and Optimization*2007,**56**(1):67-103. 10.1007/s00245-007-0880-yMATHMathSciNetView ArticleGoogle Scholar - Run-Zi L:
**Impulsive control and synchronization of a new chaotic system.***Physics Letters A*2008,**372**(5):648-653. 10.1016/j.physleta.2007.08.010MATHMathSciNetView ArticleGoogle Scholar - Yang Z, Xu D:
**Stability analysis and design of impulsive control systems with time delay.***IEEE Transactions on Automatic Control*2007,**52**(8):1448-1454. 10.1109/TAC.2007.902748View ArticleGoogle Scholar - Zhang H, Guan Z-H, Feng G:
**Reliable dissipative control for stochastic impulsive systems.***Automatica*2008,**44**(4):1004-1010. 10.1016/j.automatica.2007.08.018MATHMathSciNetView ArticleGoogle Scholar - Bhat SP:
**Controllability of nonlinear time-varying systems: applications to spacecraft attitude control using magnetic actuation.***IEEE Transactions on Automatic Control*2005,**50**(11):1725-1735. 10.1109/TAC.2005.858686MathSciNetView ArticleGoogle Scholar - Chang Y-K, Nieto JJ, Li WS:
**Controllability of semilinear differential systems with nonlocal initial conditions in Banach spaces.***Journal of Optimization Theory and Applications*2009,**142**(2):267-273. 10.1007/s10957-009-9535-2MATHMathSciNetView ArticleGoogle Scholar - Chang Y-K, Li W-T, Nieto JJ:
**Controllability of evolution differential inclusions in Banach spaces.***Nonlinear Analysis: Theory, Methods & Applications*2007,**67**(2):623-632. 10.1016/j.na.2006.06.018MATHMathSciNetView ArticleGoogle Scholar - Sakthivel R, Mahmudov NI, Nieto JJ, Kim JH:
**On controllability of nonlinear impulsive integrodifferential systems.***Dynamics of Continuous, Discrete & Impulsive Systems. Series A*2008,**15**(3):333-343.MATHMathSciNetGoogle Scholar - Tonkov EL:
**Controllability of a nonlinear system in a linear approximation.***Journal of Applied Mathematics and Mechanics*1974,**38**(4):557-565. 10.1016/0021-8928(74)90003-3MATHMathSciNetView ArticleGoogle Scholar - Sontag ED:
*Mathematical Control Theory: Deterministic Finite Dimensional Systems, Texts in Applied Mathematics*.*Volume 6*. 2nd edition. Springer, New York, NY, USA; 1998:xvi+531.View ArticleGoogle Scholar - Dauer JP, Mahmudov NI:
**Approximate controllability of semilinear functional equations in Hilbert spaces.***Journal of Mathematical Analysis and Applications*2002,**273**(2):310-327. 10.1016/S0022-247X(02)00225-1MATHMathSciNetView ArticleGoogle Scholar - Triggiani R:
**A note on the lack of exact controllability for mild solutions in Banach spaces.***SIAM Journal on Control and Optimization*1977,**15**(3):407-411. 10.1137/0315028MATHMathSciNetView ArticleGoogle Scholar - Triggiani R:
**Addendum: "A note on the lack of exact controllability for mild solutions in Banach spaces".***SIAM Journal on Control and Optimization*1980,**18**(1):98-99. 10.1137/0318007MathSciNetView ArticleGoogle Scholar - Smart DR:
*Fixed Point Theorems, Cambridge Tracts in Mathematics, no. 6*. Cambridge University Press, London, UK; 1974:viii+93.Google Scholar - Li J, Nieto JJ, Shen J:
**Impulsive periodic boundary value problems of first-order differential equations.***Journal of Mathematical Analysis and Applications*2007,**325**(1):226-236. 10.1016/j.jmaa.2005.04.005MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.