This paper investigates the nonlinear boundary value problem for a class of firstorder impulsive functional differential equations. By establishing a comparison result and utilizing the method of upper and lower solutions, some criteria on the existence of extremal solutions as well as the unique solution are obtained. Examples are discussed to illustrate the validity of the obtained results.
1. Introduction
It is now realized that the theory of impulsive differential equations provides a general framework for mathematical modelling of many real world phenomena. In particular, it serves as an adequate mathematical tool for studying evolution processes that are subjected to abrupt changes in their states. Some typical physical systems that exhibit impulsive behaviour include the action of a pendulum clock, mechanical systems subject to impacts, the maintenance of a species through periodic stocking or harvesting, the thrust impulse maneuver of a spacecraft, and the function of the heart. For an introduction to the theory of impulsive differential equations, refer to [1].
It is also known that the method of upper and lower solutions coupled with the monotone iterative technique is a powerful tool for obtaining existence results of nonlinear differential equations [2]. There are numerous papers devoted to the applications of this method to nonlinear differential equations in the literature, see [3–9] and references therein. The existence of extremal solutions of impulsive differential equations is considered in papers [3–11]. However, only a few papers have implemented the technique in nonlinear boundary value problem of impulsive differential equations [5, 12]. In this paper, we will investigate nonlinear boundary value problem of a class of firstorder impulsive functional differential equations. Such equations include the retarded impulsive differential equations as special cases [5, 12–14].
The rest of this paper is organized as follows. In Section 2, we establish a new comparison principle and discuss the existence and uniqueness of the solution for first order impulsive functional differential equations with linear boundary condition. We then obtain existence results for extremal solutions and unique solution in Section 3 by using the method of upper and lower solutions coupled with monotone iterative technique. To illustrate the obtained results, two examples are discussed in Section 4.
2. Preliminaries
Let , , with . We define that is continuous for any ; and exist and , is continuously differentiable for any ; , exist and . It is clear that and are Banach spaces with respective norms
Let us consider the following nonlinear boundary value problem (NBVP):
where is continuous in the second and the third variables, and for fixed , , , , and is continuous.
A function is called a solutions of NBVP (2.2) if it satisfies (2.2).
Remark 2.1.
(i) If and the impulses depend only on , the equation of NBVP (2.2) reduces to the simpler case of impulsive differential equations:
which have been studied in many papers. In some situation, the impulse depends also on some other parameters (e.g., the control of the amount of drug ingested by a patient at certain moments in the model for drug distribution [1, 3]).
(ii) If , where , the equation of NBVP (2.2) can be regarded as retarded differential equation which has been considered in [5, 12–14].
We will need the following lemma.
Lemma 2.2 (see [1]).
Asumme that
the sequence satisfies with ,
is left continous at for ,
for ,,
where , and are real constants.
Then
In order to establish a comparison result and some lemmas, we will make the following assumptions on the function .
(H1) There exists a constant such that
(H2) The function satisfies Lipschitz condition, that is, there exists a such that
Inspired by the ideas in [5, 6], we shall establish the following comparison result.
Theorem 2.3.
Let such that
where , , , , and .
Suppose in addition that condition (H1) holds and
then .
Proof.
For simplicity, we let , . Set , then we have
Obviously, implies .
To show , we suppose, on the contrary, that for some . It is enough to consider the following cases.
(i)there exists a , such that , and for all ;
(ii)there exist , such that , .
Casedi.
By (2.10), we have for and , , hence is nonincreasing in , that is, . If , then , which is a contradiction. If , then which implies . But from (2.10), we get for . Hence, . It is again a contradiction.
Casedii.
Let , then . For some , there exists such that or . We only consider , as for the case , the proof is similar.
From (2.10) and condition (H1), we get
Consider the inequalities
By Lemma 2.2, we have
that is
First, we assume that . Let in (2.14), then
Noting that , we have
Hence
which is a contradiction.
Next, we assume that . By Lemma 2.2 and (2.10), we have
then
Setting in (2.14), we have
with (2.19), we obtain that
that is,
Therefore,
which is a contradiction. The proof of Theorem 2.3 is complete.
The following corollary is an easy consequence of Theorem 2.3.
Corollary 2.4.
Assume that there exist , , , for such that satisfies (2.8) with and
then , for .
Remark 2.5.
Setting , Corollary 2.4 reduces to the Theorem 2.3 of Li and Shen [6]. Therefore, Theorem 2.3 and Corollary 2.4 develops and generalizes the result in [6].
Remark 2.6.
We show some examples of function satisfying (H1).
(i), where , satisfies (H1) with ,
(ii), satisfies (H1) with ,
Consider the linear boundary value problem (LBVP)
where , , , , and .
By direct computation, we have the following result.
Lemma 2.7.
is a solution of LBVP (2.27) if and only if is a solution of the impulsive integral equation
where , , and
Lemma 2.8.
Let (H2) hold. Suppose further
where , , , then LBVP (2.27) has a unique solution.
By Lemma 2.7 and Banach fixed point theorem, the proof of Lemma 2.8 is apparent, so we omit the details.
3. Main Results
In this section, we use monotone iterative technique to obtain the existence results of extremal solutions and the unique solution of NBVP (2.2). We shall need the following definition.
Definition 3.1.
A function is said to be a lower solution of NBVP (2.2) if it satisfies
Analogously, is an upper solution of NBVP (2.2) if
For convenience, let us list the following conditions.
(H3) There exist constants , such that
wherever .
(H4) There exist constants for such that
wherever .
(H5) The function satisfies
(H6) There exist constants , with such that
wherever , and .
Let . Now we are in the position to establish the main results of this paper.
Theorem 3.2.
Let ()–() and inequalities (2.9) and (2.30) hold. Assume further that there exist lower and upper solutions and of NBVP (2.2), respectively, such that on . Then there exist monotone sequences with , such that , uniformly on . Moreover, , are minimal and maximal solutions of NBVP (2.2) in , respectively.
Proof.
For any , consider LVBP (2.27) with
By Lemma 2.8, we know that LBVP (2.27) has a unique solution . Define an operator by , then the operator has the following properties:
(a),
(b), if
To prove (a), let and .
By Theorem 2.3, we get for , that is, . Similarly, we can show that .
To prove (b), set , where and . Using (H3), (H4) and (H6), we get
By Theorem 2.3, we get for , that is, , then (b) is proved.
Let and for By the properties (a) and (b), we have
By the definition of operator , we have that and are uniformly bounded in . Thus and are uniformly bounded and equicontinuous in . By ArzelaAscoli Theorem and (3.10), we know that there exist , in such that
Moreover, , are solutions of NBVP (2.2) in .
To prove that , are extremal solutions of NBVP (2.2), let be any solution of NBVP (2.2), that is,
By Theorem 2.3 and Induction, we get with and which implies that , that is, and are minimal and maximal solution of NBVP (2.2) in , respectively. The proof is complete.
Theorem 3.3.
Let the assumptions of Theorem 3.2 hold and assume the following.
(H7) There exist constants , such that
where .
(H8) There exist constants , such that
where .
(H9) There exist constants , with such that
whenever , and .
Then NBVP (2.2) has a unique solution in .
Proof.
By Theorem 3.2, we know that there exist , which are minimal and maximal solutions of NBVP (2.2) with .
Let . Using (H7), (H8), and (H9), we get
By Theorem 2.3, we have that , , that is, . Hence , this completes the proof.
4. Examples
To illustrate our main results, we shall discuss in this section some examples.
Example 4.1.
Consider the problem
where , , .
Let
Setting and , it is easy to verify that is a lower solution, and is an upper solution with .
For , and , we have
Setting , , , , and , , then conditions (H1)–(H6) are all satisfied:
then inequalities (2.9) and (2.30) are satisfied. By Theorem 3.2, problem (4.1) has extremal solutions .
Example 4.2.
Consider the problem
where , , .
Let
Setting and , then is a lower solution, and is an upper solution with .
For , and , we have , , and . Setting , , , , and , , then conditions (H1)–(H6) are all satisfied:
then inequalities (2.24) and (2.30) are satisfied. By Corollary 2.4 and Theorem 3.2, problem (4.5) has extremal solutions .
Moreover, let , , and , . It is easy to see that conditions (H7)–(H9) are satisfied. By Corollary 2.4 and Theorem 3.3, problem (4.5) has an unique solution in .
References

Lakshmikanthan, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations, World Scientific, Singapore (1989)

Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones, Notes and Reports in Mathematics in Science and Engineering,p. viii+275. Academic Press, Boston, Mass, USA (1988)

Franco, D, Liz, E, Nieto, JJ, Rogovchenko, YV: A contribution to the study of functional differential equations with impulses. Mathematische Nachrichten. 218, 49–60 (2000). Publisher Full Text

Nieto, JJ, RodríguezLópez, R: Boundary value problems for a class of impulsive functional equations. Computers & Mathematics with Applications. 55(12), 2715–2731 (2008). PubMed Abstract  Publisher Full Text

Chen, L, Sun, J: Nonlinear boundary value problem of first order impulsive functional differential equations. Journal of Mathematical Analysis and Applications. 318(2), 726–741 (2006). Publisher Full Text

Li, L, Shen, J: Periodic boundary value problems for functional differential equations with impulses. Mathematica Scientia. 25A, 237–244 (2005)

Liu, X, Guo, D: Periodic boundary value problems for a class of secondorder impulsive integrodifferential equations in Banach spaces. Journal of Mathematical Analysis and Applications. 216(1), 284–302 (1997). Publisher Full Text

Guo, D, Liu, X: Periodic boundary value problems for impulsive integrodifferential equations in Banach spaces. Nonlinear World. 3(3), 427–441 (1996)

Liu, X, Guo, D: Initial value problems for first order impulsive integrodifferential equations in Banach spaces. Communications on Applied Nonlinear Analysis. 2(1), 65–83 (1995)

Guo, D, Liu, X: First order impulsive integrodifferential equations on unbounded domain in a Banach space. Dynamics of Continuous, Discrete and Impulsive Systems. 2(3), 381–394 (1996)

Franco, D, Nieto, JJ: Firstorder impulsive ordinary differential equations with antiperiodic and nonlinear boundary conditions. Nonlinear Analysis: Theory, Methods & Applications. 42(2), 163–173 (2000). PubMed Abstract  Publisher Full Text

Yang, X, Shen, J: Nonlinear boundary value problems for first order impulsive functional differential equations. Applied Mathematics and Computation. 189(2), 1943–1952 (2007). Publisher Full Text

Ding, W, Mi, J, Han, M: Periodic boundary value problems for the first order impulsive functional differential equations. Applied Mathematics and Computation. 165(2), 433–446 (2005). Publisher Full Text

Luo, Z, Jing, Z: Periodic boundary value problem for firstorder impulsive functional differential equations. Computers & Mathematics with Applications. 55(9), 2094–2107 (2008). PubMed Abstract  Publisher Full Text