Abstract

A functional differential equation with deviated argument coupled with impulsive conditions is studied for the existence and uniqueness of the mild solution and exact controllability of the system. The results are obtained by using Banach contraction principle and semigroup theory without imposing additional assumptions such as analyticity and compactness conditions on the generated semigroup and the nonlinear term. An example is provided to illustrate the presented theory.

1. Introduction

It is possible to steer various dynamical systems from an arbitrary initial state to final state using the set of admissible controls. Such systems are called controllable. The theory for abstract linear control systems in finite-dimensions is well established. Many authors have extended the theory to infinite dimensional systems represented by nonlinear evolution equations. References of which are available in various articles such as [14].

As the change of state occurs abruptly in several physical phenomena, many authors have discussed impulsive differential equations in their articles. For instance, Chang [5] and Li et al. [6] discussed the controllability of impulsive functional differential system in Banach spaces using Schaefer’s fixed point theorem. Jeong et al. [7] investigated the controllability of semilinear retarded control systems in Hilbert spaces. Tai and Wang [8] proposed sufficient conditions for the controllability of fractional impulsive neutral functional integrodifferential systems in a Banach space. Sakthivel and Anandhi [9] discussed approximate controllability of impulsive differential equations with state dependent delay.

Controllability results are available in overwhelming majority for abstract impulsive differential systems rather than for impulsive functional differential equation with deviated arguments.

As demand for efficient dynamic performances increase, mathematical models are required to behave more like real processes. Models are designed to deal with aftereffect, hereditary systems, equations with deviated arguments, and so forth. Delay differential systems are still resistant to quite a number of “classical controllers.” Many partial differential systems can be reduced to functional differential equations with deviated arguments. Thus controllability of functional differential equation with deviated argument has to be extensively studied. However, Gal [10] studied the existence and uniqueness of local and global solutions for initial value problem with deviated argument Pandey et al. [11] used analytic semigroup theory and fixed point arguments to study the existence and uniqueness of mild solutions of a neutral differential equation with a deviated argument in a Banach space.

Chang and Liu [12] discussed the existence of mild and strong solutions for some neutral partial differential equations with nonlocal conditions using Sadovskii fixed point theorem and compact analytic semigroup of uniformly bounded linear operators.

Fractional operators, analyticity, and compactness are mostly used to establish these results which impose more restriction on the semigroup and the nonlinear part of the semilinear system. Interestingly controllability results for functional differential equation with deviated argument coupled with impulsive conditions are not widely available so far.

In this work the exact controllability of a semilinear system governed by an impulsive functional differential equation is studied. The semilinear system is illustrated in Section 2 as an abstract differential equation with deviated argument and impulsive conditions. Impulsive conditions reflect abrupt changes in real physical phenomenon that are more interesting than initial conditions. In Section 3 simple Lipschitz conditions and semigroup theory is required to study the differential equation with deviated argument removing the more strict assumptions like analyticity and compactness of the semigroup or the nonlinear part.

2. Preliminaries

In this section some basic definitions and lemmas are stated. Naito [13] and Pazy [14] illustrated the basic concepts of controllability and semigroup theory, respectively.

Let , and . Let and be Banach spaces. The complete controllability of the following impulsive differential equation is studied. Consider The state function takes values in Banach space . The control function , where is a Banach space. is a bounded linear operator. is a the infinitesimal generator of a strongly continuous semigroup , on . and are suitably defined functions satisfying certain conditions to be specified in Section 3. , and .

We define , and exists, and , .

is a Banach space with norm .

Let .

Definition 1 (see [13]). System (2) is said to be controllable on the interval if for every , , there exists a control such that the mild solution of (2) satisfies , .

Definition 2. A mild solution of problem (2) is defined as function such that it satisfies the following:(i) ,(ii) , ,(iii)the restriction of to the interval is continuous and the following integral equation is satisfied:
where , for all , denotes the semigroup generated by .

Throughout this paper, the following assumptions are made. Let (H1) generates a strongly continuous semigroup in the Banach space and there exists a constant such that .(H2)The nonlinear operator and satisfy the Lipschitz condition such that constants such that for all , , , we have and .(H3)Moreover assume is globally continuous on and satisfies and for each , there is a such that , , , whenever .(H4)The linear operator , defined by has an invertible operator (induced by ) defined on and there exist positive constants , such that and .(H5)There exist constants , , , , , such that , , , , and .

3. Main Result

In this section we discuss the existence and uniqueness of mild solution and exact controllability of the semilinear differential equation with deviated argument and impulsive conditions described in Section 2.

Now, where is a constant. Let be such that .

Theorem 3. If hypotheses (H1)–(H5) and (7) and (8) are satisfied then system (2) is controllable on .

Proof. Let . Using hypothesis (H4) for an arbitrary function ,we define the control Using this control and Banach contraction principle, the operator defined by is proved to have a fixed point; that is, . This fixed point is then a solution of (2). This implies that the control which steers the semilinear system from the initial state to in time provided we can obtain a fixed point of the nonlinear operator . First we prove maps into itself. For this, using conditions (H1)–(H5), (4), (9), (7), and triangle inequality, we have Therefore by hypothesis (H5), , which proves . Thus maps into itself. Next is proved to be a contraction map. Let , . Then By applying conditions , , , and (8) we find is a contraction mapping on . Hence there exists a unique fixed point such that . The unique fixed point of is a mild solution of (2) on , which satisfies . Hence the system is controllable on .

4. Example

Consider the following third order dispersion equation: and the given initial and boundary conditions , .

Here is a linear operator such that there exists an inverse operator on , where is defined by The operator is uniformly bounded and is continuous and uniformly bounded.

This problem can be brought to the form (2) by making suitable choices of , , and .

Let , , , and .

Let for all , be such that condition (H2), (H3), and (H5) are satisfied.

Then this system becomes an abstract formulation of the type (2). The solutions are all bounded.

Further, all the conditions stated in the above theorem are satisfied. Hence system is exactly controllable on .

5. Conclusion

Impulsive semilinear system of type (2) with deviated argument is studied, subsequently proving the sufficient conditions for exact controllability. Only semigroup is used throughout the paper. Our approach eliminates the need to assume the conditions such as analyticity and compactness of the semigroup and the function . Banach contraction mapping principle is used to prove that the unique fixed point exists which is the mild solution of (2). Hence the system (2) is proved to be controllable.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to express their sincere gratitude to the reviewers for their valuable suggestions. The first author would like to thank Ministry of Human Resource and Development with Grant no. MHR-02-23-200-429/304 for their funding.