Abstract
In the present paper, a system of nonlinear impulsive differential equations with two-point and integral boundary conditions is investigated. Theorems on the existence and uniqueness of a solution are established under some sufficient conditions on nonlinear terms. A simple example of application of the main result of this paper is presented.
Similar content being viewed by others
1 Introduction
The theory of impulsive differential equations is an important branch of differential equations which has an extensive physical background. Impulsive differential equations arise frequently in the modeling of many physical systems whose states are subject to sudden change at certain moments. There has been a significant development in impulsive theory especially in the area of impulsive differential equations with fixed moments (see, for instance, the monographs [1–4] and the references therein).
Many of the physical systems can better be described by integral boundary conditions. Integral boundary conditions are encountered in various applications such as population dynamics, blood flow models, chemical engineering and cellular systems. Moreover, boundary value problems with integral conditions constitute a very interesting and important class of problems. They include two-point, three-point, multipoint and nonlocal boundary value problems as special cases. For boundary value problems with nonlocal boundary conditions and comments on their importance, we refer the reader to the papers [5–18] and the references therein.
In the present paper, we study the existence and uniqueness of the system of nonlinear impulsive differential equations of the type
subject to two-point and integral boundary conditions
and impulsive conditions
where are given matrices and ; and are given functions;
where
are the right- and left-hand limits of at , respectively.
The organization of the present paper is as follows. First, we provide the necessary background. Second, theorems on the existence and uniqueness of a solution of problem (1), (2), (3) are established under some sufficient conditions on the nonlinear terms. Third, a simple example of application of the main result of this paper is presented.
2 Preliminaries
In this section, we present some basic definitions and preliminary facts which are used throughout the paper. By , we denote the Banach space of all vector continuous functions from into with the norm
where is the norm in the space .
We consider the linear space
is a Banach space with the norm
We define a solution of problem (1), (2) and (3) as follows.
Definition 2.1 A function is said to be a solution of problem (1), (2) and (3) if
for each , , , and for each
and boundary condition (2) are satisfied.
Lemma 2.1 Let and , . Then the boundary value problem for the impulsive differential equation
has a unique solution given by
for , , where
Proof Assume that is a solution of boundary value problem (4)-(6), then integrating equation (4) for , we get
Using this formula and condition (5), we can write
Applying formula (7) and condition (6), we get
Hence, we obtain
From formulas (7) and (9), it follows
Therefore we can state that
Lemma 2.1 is established. □
Remark 2.1 Note that for solution (7) we have that:
-
i.
is the solution of with nonlocal boundary condition (6);
-
ii.
The function is the solution of with the nonlocal boundary condition . Here is Green’s function of this problem;
-
iii.
The functions , , are the solution of with the nonlocal boundary condition and are jumps (5).
Lemma 2.2 Assume that and , then the function is a solution of impulsive boundary value problem (1), (2) and (3) if and only if is a solution of the impulsive integral equation
for , .
Proof Let be a solution of boundary value problem (1), (2) and (3), then in the same way as in Lemma 2.1, we can prove that it is a solution of impulsive integral equation (11). By direct verification we can show that the solution of impulsive integral equation (11) also satisfies equation (1) and nonlocal boundary condition (3). Also, it is easy to verify that it satisfies condition (2). Lemma 2.2 is proved. □
3 Main results
The first main statement of the present study is the existence and uniqueness of boundary value problem (1), (2) and (3), a result that is based on a Banach fixed point theorem.
Theorem 3.1 Assume that:
(H1) There exists a constant such that
for any and all .
(H2) There exists a constant such that
for any and all .
(H3) There exist constants , , such that
for all .
If
then boundary value problem (1), (2) and (3) has a unique solution on . Here
Proof We will transform problem (1), (2) and (3) into a fixed point problem. Consider the operator
defined by
for , .
Clearly, the fixed points of the operator F are solutions of problem (1), (2) and (3). We will use the Banach contraction principle to prove that F defined by (13) has a fixed point. We will show that F is a contraction.
Let . Then, for each , we have that
Thus
Consequently, by assumption (12) the operator F is a contraction. As a consequence of the Banach fixed point theorem, we deduce that the operator F has a fixed point which is a solution of problem (1), (2) and (3). Theorem 3.1 is established. □
The second main statement of the present study is an existence result for boundary value problem (1), (2) and (3) that is based on the Schaefer fixed point theorem.
Theorem 3.2 Assume that:
(H4) The function is continuous.
(H5) There exists a constant such that
(H6) The function is continuous.
(H7) There exists a constant such that
(H8) The functions , , , are continuous and there exists a constant such that
for all .
Then boundary value problem (1), (2) and (3) has at least one solution on .
Proof We will divide the proof into four main steps in which we will show that under the assumptions of the theorem, the operator F has a fixed point.
Step 1. The operator F under the assumptions of the theorem is continuous. Let be a sequence such that in . Then, for any , ,
Since f, g and , , are continuous functions, we have
as .
Step 2. The operator F maps bounded sets in bounded sets in . Indeed, it is enough to show that for any , there exists a positive constant l such that for any , we have . Applying the triangle inequality, assumptions (H5), (H7) and (H8), for , we obtain
for any . Hence,
Thus
Step 3. The operator F maps bounded sets into equicontinuous sets of .
Let , , be a bounded set of as in Step 2, and let . We have that
Then, applying the triangle inequality, assumptions (H5), (H7) and (H8), we obtain
As , the right-hand side of the above inequality tends to zero. As a consequence of Steps 1 to 3 together with the Arzela-Ascoli theorem, we can conclude that the operator is completely continuous.
Step 4. A priori bounds. Now, it remains to show that the set
is bounded. Let for some . Then, for any , , we have
This implies by (H5), (H7) and (H8) (as in Step 2) that for any , we have
Therefore, for every , we have that
This shows that the set Δ is bounded. As a consequence of the Schaefer fixed point theorem, we deduce that F has a fixed point which is a solution of problem (1), (2) and (3). Theorem 3.2 is established. □
In the following theorem, we give an existence result for problem (1), (2) and (3) by means of an application of a Leray-Schauder type nonlinear alternative, where the conditions (H5), (H7) and (H8) are weakened.
Theorem 3.3 Assume that (H4), (H6) and the following conditions hold:
(H9) There exist and a continuous and nondecreasing such that
(H10) There exist and a continuous nondecreasing such that
(H11) There exist and a continuous and nondecreasing function such that
for all .
(H12) There exists a number such that
Then boundary value problem (1), (2) and (3) has at least one solution on .
Proof Consider the operator F defined in Theorems 3.2 and 3.3. It can be easily shown that F is continuous and completely continuous. For let x be such that for each , , we have . Then from (H9)-(H11) we have
for each , . Therefore,
Then, by condition (H12), there exists K such that .
Let
The operator is continuous and completely continuous. By the choice of U, there exists no such that for some . As a consequence of the nonlinear alternative of Leray-Schauder type [19], we deduce that F has a fixed point x in , which is a solution of problem (1), (2) and (3). Theorem 3.2 is proved. □
4 An example
Now, we give an example to illustrate the usefulness of our main results. Let us consider the following nonlocal boundary value problem for a system of impulsive differential equations:
Evidently, , , and . Hence, the conditions (H1)-(H2) hold with ; . We can easily see that condition (4) is satisfied. Indeed,
then by Theorem 3.1 boundary value problem (14) has a unique solution on .
5 Conclusion
In this work, some existence and uniqueness of a solution results have been established for the system of nonlinear impulsive differential equations with two-point and integral boundary conditions under some sufficient conditions on the nonlinear terms. These statements without proof are formulated in [20]. Of course, such type of existence and uniqueness results hold under the same sufficient conditions on the nonlinear terms for the system of nonlinear impulsive differential equations (1), subject to multipoint nonlocal and integral boundary conditions
and impulsive conditions
where are given matrices and . Here, ≤T.
Moreover, applying the result of the paper [21], the single-step difference schemes for the numerical solution of nonlocal boundary value problem (1), (16) and (17) can be presented. Of course, such type of existence and uniqueness results hold under some sufficient conditions on the nonlinear terms for the solution of the system of these difference schemes.
References
Benchohra M, Henderson J, Ntouyas SK 2. In Impulsive Differential Equations and Inclusion. Hindawi Publishing Corporation, New York; 2006.
Bainov DD, Simeonov PS: Systems with Impulsive Effect. Horwood, Chichister; 1989.
Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. Worlds Scientific, Singapore; 1989.
Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. Worlds Scientific, Singapore; 1995.
Benchohra M, Nieto JJ, Quahab A: Second-order boundary value problem with integral boundary conditions. Bound. Value Probl. 2011., 2011:Article ID 260309
Benchohra M, Berhoun F, Henderson J: Multiple positive solutions for impulsive boundary value problem with integral boundary conditions. Math. Sci. Res. J. 2007, 11(12):614-626.
Benchohra M, Hamani S, Henderson J: Nonlinear impulsive differential inclusions with integral boundary conditions. Commun. Math. Anal. 2008, 5(2):60-75.
Benchohra M, Hamani S, Nieto JJ: The method of upper and lower solutions for second order differential inclusions with integral boundary conditions. Rocky Mt. J. Math. 2010, 40(1):13-26. 10.1216/RMJ-2010-40-1-13
Ahmad B, Khan RA, Sivasundaram S: Generalized quasilinearization method for a first order differential equation with integral boundary condition. Dyn. Contin. Discrete Impuls. Syst., Ser. A, Math. Anal. 2005, 12: 289-296.
Nieto JJ, Tisdell CC: Existence and uniqueness of solutions to first-order systems of nonlinear impulsive boundary-value problems with sub-, super-linear or linear growth. Electron. J. Differ. Equ. 2007., 2007:Article ID 105
Jankowski T: Differential equations with integral boundary conditions. J. Comput. Appl. Math. 2002, 147: 1-8. 10.1016/S0377-0427(02)00371-0
Feng M, Du B, Ge W: Impulsive boundary problems with integral boundary conditions and one-dimensional p -Laplacian. Nonlinear Anal. 2009, 70: 3119-3126. 10.1016/j.na.2008.04.015
Ahmad B, Nieto J: Existence results for nonlinear boundary value problems of fractional integro-differential equations with integral boundary conditions. Bound. Value Probl. 2009., 2009:Article ID 708576
Boucherif A: Second order boundary value problems with integral boundary conditions. Nonlinear Anal. 2009, 70(1):368-379.
Khan RA: Existence and approximation of solutions of nonlinear problems with integral boundary conditions. Dyn. Syst. Appl. 2005, 14: 281-296.
Belarbi A, Benchohra M, Quahab A: Multiple positive solutions for nonlinear boundary value problems with integral boundary conditions. Arch. Math. 2008, 44(1):1-7.
Chen G, Shen J: Integral boundary value problems for first order impulsive functional differential equations. Int. J. Math. Anal. 2007, 1(20):965-974.
Krall AM: The adjoint of a differential operator with integral boundary conditions. Proc. Am. Math. Soc. 1965, 16: 738-742. 10.1090/S0002-9939-1965-0181794-9
Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2003.
Ashyralyev A, Sharifov YA: Existence and uniqueness of solutions for nonlinear impulsive differential equations with two-point and integral boundary conditions. AIP Conf. Proc. 2012, 1470: 8-11.
Ashyralyev A, Sobolevskii PE 148. In New Difference Schemes for Partial Differential Equations. Birkhäuser, Basel; 2004.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ashyralyev, A., Sharifov, Y.A. Existence and uniqueness of solutions for nonlinear impulsive differential equations with two-point and integral boundary conditions. Adv Differ Equ 2013, 173 (2013). https://doi.org/10.1186/1687-1847-2013-173
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-173