# Nonlinear Boundary Value Problem of First-Order Impulsive Functional Differential Equations

- Kexue Zhang
^{1}and - Xinzhi Liu
^{2}Email author

**2010**:490741

**DOI: **10.1155/2010/490741

© K. Zhang and X. Liu. 2010

**Received: **8 December 2009

**Accepted: **30 January 2010

**Published: **21 February 2010

## Abstract

This paper investigates the nonlinear boundary value problem for a class of first-order 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 first-order 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).

- (i)If and the impulses depend only on , the equation of NBVP (2.2) reduces to the simpler case of impulsive differential equations:(2.3)

We will need the following lemma.

Lemma 2.2 (see [1]).

Asumme that

the sequence satisfies with ,

is left continous at for ,

where , and are real constants.

In order to establish a comparison result and some lemmas, we will make the following assumptions on the function .

Inspired by the ideas in [5, 6], we shall establish the following comparison result.

Theorem 2.3.

where , , , , and .

then .

Proof.

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.

which is a contradiction.

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.

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).

Consider the linear boundary value problem (LBVP)

where , , , , and .

By direct computation, we have the following result.

Lemma 2.7.

Lemma 2.8.

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.

For convenience, let us list the following conditions.

wherever .

wherever .

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.

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

By Theorem 2.3, we get for , that is, . Similarly, we can show that .

By Theorem 2.3, we get for , that is, , then (b) is proved.

Moreover, , are solutions of NBVP (2.2) in .

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.

where .

where .

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 .

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.

where , , .

Setting and , it is easy to verify that is a lower solution, and is an upper solution with .

then inequalities (2.9) and (2.30) are satisfied. By Theorem 3.2, problem (4.1) has extremal solutions .

Example 4.2.

where , , .

Setting and , then is a lower solution, and is an upper solution with .

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 .

## Authors’ Affiliations

## References

- Lakshmikanthan V, Bainov DD, Simeonov PS:
*Theory of Impulsive Differential Equations*. World Scientific, Singapore; 1989.View Article - Guo D, Lakshmikantham V:
*Nonlinear Problems in Abstract Cones, Notes and Reports in Mathematics in Science and Engineering*.*Volume 5*. Academic Press, Boston, Mass, USA; 1988:viii+275.MATH - Franco D, Liz E, Nieto JJ, Rogovchenko YV: A contribution to the study of functional differential equations with impulses.
*Mathematische Nachrichten*2000, 218: 49–60. 10.1002/1522-2616(200010)218:1<49::AID-MANA49>3.0.CO;2-6MathSciNetView ArticleMATH - Nieto JJ, Rodríguez-López R: Boundary value problems for a class of impulsive functional equations.
*Computers & Mathematics with Applications*2008, 55(12):2715–2731. 10.1016/j.camwa.2007.10.019MathSciNetView ArticleMATH - Chen L, Sun J: Nonlinear boundary value problem of first order impulsive functional differential equations.
*Journal of Mathematical Analysis and Applications*2006, 318(2):726–741. 10.1016/j.jmaa.2005.08.012MathSciNetView ArticleMATH - Li L, Shen J: Periodic boundary value problems for functional differential equations with impulses.
*Mathematica Scientia*2005, 25A: 237–244.MathSciNetMATH - Liu X, Guo D: Periodic boundary value problems for a class of second-order impulsive integro-differential equations in Banach spaces.
*Journal of Mathematical Analysis and Applications*1997, 216(1):284–302. 10.1006/jmaa.1997.5688MathSciNetView ArticleMATH - Guo D, Liu X: Periodic boundary value problems for impulsive integro-differential equations in Banach spaces.
*Nonlinear World*1996, 3(3):427–441.MathSciNetMATH - Liu X, Guo D: Initial value problems for first order impulsive integro-differential equations in Banach spaces.
*Communications on Applied Nonlinear Analysis*1995, 2(1):65–83.MathSciNetMATH - Guo D, Liu X: First order impulsive integro-differential equations on unbounded domain in a Banach space.
*Dynamics of Continuous, Discrete and Impulsive Systems*1996, 2(3):381–394.MathSciNetMATH - Franco D, Nieto JJ: First-order impulsive ordinary differential equations with anti-periodic and nonlinear boundary conditions.
*Nonlinear Analysis: Theory, Methods & Applications*2000, 42(2):163–173. 10.1016/S0362-546X(98)00337-XMathSciNetView ArticleMATH - Yang X, Shen J: Nonlinear boundary value problems for first order impulsive functional differential equations.
*Applied Mathematics and Computation*2007, 189(2):1943–1952. 10.1016/j.amc.2006.12.085MathSciNetView ArticleMATH - Ding W, Mi J, Han M: Periodic boundary value problems for the first order impulsive functional differential equations.
*Applied Mathematics and Computation*2005, 165(2):433–446. 10.1016/j.amc.2004.06.022MathSciNetView ArticleMATH - Luo Z, Jing Z: Periodic boundary value problem for first-order impulsive functional differential equations.
*Computers & Mathematics with Applications*2008, 55(9):2094–2107.MathSciNetView ArticleMATH

## 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.