- Research
- Open access
- Published:
Existence results for impulsive semilinear differential inclusions with nonlinear boundary conditions
Boundary Value Problems volume 2018, Article number: 165 (2018)
Abstract
In this paper, we discuss the nonlinear boundary problem for first-order impulsive semilinear differential inclusions. We establish existence results by using Martelli’s fixed point theorem with upper and lower solutions method. We find that by giving different definitions of lower and upper solutions we can get all existence results. We also present an example.
1 Introduction
In this paper, we consider the first-order impulsive semilinear differential inclusions with nonlinear boundary conditions
where \(J'=J\backslash\{t_{1},\ldots,t_{m}\}\), \(J=[0,b]\), \(b>0\), \(0< t_{1}< t_{2}<\cdots<t_{m}< b\), A is the infinitesimal generator of a strongly continuous semigroup \(T(t)\), \(t\geq0\), \(F:J\times R\rightarrow P(R)\) is a multivalued map, \(P(R)\) is the family of all nonempty subsets of R, \(\Delta x(t_{k})=x(t_{k}^{+})-x(t_{k}^{-})\), \(x(t_{k}^{+})=\lim_{\varepsilon\rightarrow0^{+}}x(t_{k}+\varepsilon)\), \(x(t_{k}^{-})=\lim_{\varepsilon\rightarrow0^{+}}x(t_{k}-\varepsilon)\), \(I_{k}\in C(R,R)\ (k=1,\ldots,m)\), and \(g:R^{2}\rightarrow R\) is a single-valued map.
The evolving process of dynamics is often subjected to abrupt changes such as shocks, harvesting, and natural disasters. These short-term perturbations are often treated as having acted instantaneously or in the form of impulses. For example, (1.1) subjects to impulse effects (1.2). Impulsive differential equations have been developed in modeling impulsive problems in physics, population dynamics, biotechnology, pharmacokinetics, industrial robotics, and so forth. In the case where the right-hand side of (1.1) has discontinuities and differential inclusions, \(F(t,x(t))\) has played an important role in modeling phenomena, especially in scenarios involving automatic control systems.
Variational methods and critical point theory plays a major role in discussing the existence of solutions for boundary problem for impulsive differential inclusions; see [1–9]. There are many other methods such as in [10–12]. In [13], the authors considered periodic boundary conditions \(g(x,y)=x-y\), that is, \(x(0)=x(b)\). Those results are applicable in some important cases. However, they are not valid for antiperiodic boundary conditions, for example, \(x(0)=-x(b)\), which corresponds to \(g(x,y)=x+y\). Note that, in this case, g is nondecreasing in the second variable, and hence the results are not applicable. To the author’s best knowledge, there is no paper discussing such a boundary problem for impulsive differential inclusions.
Motivated by the works mentioned, the aim of this paper is to study the existence of solutions for nonlinear boundary problem (1.1)–(1.3) by Martelli’s fixed point theorem with upper and lower solutions method. The rest of the paper is organized as follows. In Sect. 2, we briefly introduce some notations and necessary preliminaries. In Sect. 3, we prove existence results of solutions for system (1.1)–(1.3), and we give some corollaries in Sect. 4. Finally, in Sect. 5, we present an example to illustrate the main result.
2 Preliminaries
We introduce some notations, definitions, and preliminary facts.
Let X be a Banach space, and let Z be a subset of X. We denote \(P(X)=\{Z\subset X\mid Z\neq\emptyset\}\), \(P_{cv}(X)=\{Z\subset P(X)\mid Z\mbox{ is convex}\}\), \(P_{cp}(X)=\{Z\subset P(X)\mid Z \mbox{ is compact}\}\), \(P_{cv,cp}(X)=P_{cv}(X)\cap P_{cp}(X)\), and so forth.
Let \(L^{1}(J,R)=\{x:J\rightarrow R| |x|:J\rightarrow[0,+\infty)\mbox{ is Lebesgue integrable}\}\). Then \(L^{1}(J,R)\) is a Banach space with norm \(\|x\|_{L^{1}}=\int_{0}^{b} |x(t)| \,dt\).
which is a Banach space with norm \(\|x\|_{PC}=\sup\{|x(t)|: t\in J \}\).
Let \(L(R)=\{N:R\rightarrow R\mid N\mbox{ is linear bounded}\}\), and for \(N\in L(R)\), we define \(\|N\|_{L(R)}=\inf\{r>0\mid\forall x\in R, |N(x)|< r|x|\}\). Then \((L(R),\|\cdot\|_{L(R)})\) is a Banach space.
By \(AC(J,R)\) we denote the space of all absolutely continuous functions \(x:J\rightarrow R\).
Definition 2.1
Throughout this paper, a multivalued map \(F:J\times R\rightarrow P(R)\) is said to be \(L^{1}\)-Carathéodory if
-
(i)
\(t\rightarrow F(t,x)\) is measurable for each \(x\in R\),
-
(ii)
\(x\rightarrow F(t,x)\) is upper semicontinuous on R for almost all \(t\in J\),
-
(iii)
for each \(\rho>0\), there exists \(\varphi_{\rho}\in L^{1}(J,[0,+\infty))\) such that
$$\bigl\Vert F(t,x) \bigr\Vert _{P(R)}=\sup\bigl\{ \vert v \vert : v\in F(t,x)\bigr\} \leq\varphi_{\rho}(t),\quad \forall \vert x \vert \leq \rho \mbox{ and a.e. } t\in J. $$
Definition 2.2
Functions \(\alpha, \beta\in PC(J,R)\cap AC(J',R)\) are said to be related lower and upper solutions for problem (1.1)–(1.3) if there exist \(v_{1}, v_{2}\in L^{1}(J,R)\) such that
and
Definition 2.3
A function \(x\in PC(J,R)\cap AC(J',R)\) is said to be a solution of (1.1)–(1.3) if \(g(x(0),x(b))=0\), \(\Delta x(t_{k})=I_{k}(x(t_{k}))\), \(k=1,\ldots,m\), and there exists a function \(v\in L^{1}(J,R)\) such that \(v(t)\in F(t,x(t))\) a.e. on J, \(x'(t)=Ax(t)+v(t)\).
Lemma 2.4
(see [14])
Let X be a Banach space, let \(F:J\times X\rightarrow P_{cv,cp}(X)\) be a \(L^{1}\)-Carathéodory multivalued map with
and let \(\varGamma:L^{1}(J,X)\rightarrow C(J,X)\) be a linear continuous mapping. Then the operator
is a closed graph operator in \(C(J,X)\times C(J,X)\).
Lemma 2.5
(Martelli’s fixed point theorem [15])
Let X be a Banach space, and let \(G:X\rightarrow P_{cv,cp}(X)\) be an upper semicontinuous and condensing map. If the set \(\Re=\{x\in X:\lambda x\in G(x)\textit{ for some }\lambda>1\}\) is bounded, then G has a fixed point.
Remark 2.6
-
(i)
If a multivalued map F is completely continuous with nonempty compact values, then F is upper semicontinuous if and only if F has a closed graph (i.e., \(x_{n}\rightarrow x^{\ast}\), \(y_{n}\rightarrow y^{\ast}\), \(y_{n}\in F(x_{n})\) imply \(y^{\ast}\in F(x^{\ast})\)).
-
(ii)
If a multivalued map F is completely continuous, then F is condensing. For general information, see [16].
Let \(J_{0}=[0,t_{1}]\), \(J_{k}=(t_{k},t_{k+1}]\), \(k=1,\ldots,m\), \(t_{m+1}=b\).
Definition 2.7
(See [17])
A family of functions S is said to be quasiequicontinuous on J if for every \(\varepsilon>0\), there exists \(\delta>0\) such that if \(x\in S\), \(k=0,1,\ldots,m\), then
Lemma 2.8
(Compactness criterion; see [17])
The set \(S\in PC(J,R^{n})\) is relatively compact if and only if
-
(i)
S is bounded, that is, \(\|x\|< c\) for each \(x\in S\) and some \(c>0\),
-
(ii)
S is quasiequicontinuous on J.
Definition 2.9
Let X be a Banach space. A multivalued map F is said to be completely continuous if \(F(U)\) is relatively compact for every bounded subset \(U\subseteq X\).
Lemma 2.10
If x is a solution of the inclusion
then it is given by
where \(u_{0}\in R\).
Proof
Let x be a solution of problem (2.5). Then there exists \(v\in S_{F,x}\) such that \(x'(t)+x(t)=Ax(t)+v(t)\). We put \(w(s)=T(t-s)x(s)\). Then
If \(t< t_{1}\), then integrating (2.7), we have
If \(t_{k}< t\), \(k=1,\ldots,m\), then integrating (2.7), we have
that is,
and consequently
which completes the proof. □
3 Main result
Theorem 3.1
Assume that the following conditions hold.
- (H1):
-
\(F:J\times R\rightarrow P_{cv,cp}(R)\) is an \(L^{1}\)-Carathéodory multivalued map.
- (H2):
-
Functions \(\alpha,\beta\in PC(J,R)\cap AC(J',R)\) are related lower and upper solutions of problem (1.1)–(1.3), which are given in Definition 2.2 and satisfy \(\alpha(t)\leq\beta(t)\), \(t\in J\).
- (H3):
-
\(I_{k}\in C(R,R)\), \(k=1,\ldots,m\).
- (H4):
-
g is a continuous single-valued map in \((x,y)\in [\alpha(0),\beta(0)]\times[\alpha(b),\beta(b)]\) and nondecreasing in \(y\in[\alpha(b),\beta(b)]\).
- (H5):
-
A is the infinitesimal generator of a linear bounded semigroup \(T(t)\), \(t\geq0\), and there exists \(M>0\) such that \(\| T(t)\|_{L(R)}\leq M\).
- (H6):
-
For \(x(t)<\alpha(t)\), \(v\in F(t,\alpha(t))\), \(t\in J\), and \(Ax(t)+ v(t)\geq A\alpha(t)+v_{1}(t)\), and for \(x(t)>\beta(t)\), \(v\in F(t,\beta(t))\), \(t\in J\), and \(Ax(t)+ v(t)\leq A\beta(t)+v_{2}(t)\), where \(v_{1}, v_{2}\in L^{1}(J,R)\) satisfy (2.1)–(2.4).
Then system (1.1)–(1.3) has at least one solution x such that \(\alpha(t)\leq x(t)\leq\beta(t)\) for all \(t\in J\).
Proof
We transform (1.1)–(1.3) into a fixed point problem. Consider the modified problem
where \(F_{1}(t,x)=F(t,\tau(t,x))+\tau(t,x)\), and \(\tau: C(J,R)\rightarrow C(J,R)\) is defined by
Evidently, if x is a solution of (3.1), \(\alpha(t)\leq x(t)\leq\beta (t)\), and \(\alpha(0)\leq x(0)-g(\tau(0,x), \tau(T,x))\leq\beta(0)\), then x is a solution of (1.1)–(1.3).
By Lemma 2.10 we have that a solution of (3.1) is a fixed point of the operator \(N:PC(J,R)\rightarrow P(PC(J,R))\) defined by
where
Note that, for each \(x\in C(J,R)\), \(S_{F,x}\) is nonempty (see [14]), so \(S_{F,\tau(t,x)}\) is nonempty.
Next, we will show that N has a fixed point by applying Lemma 2.5. The proof will be given in several steps. We first show that N is a completely continuous multivalued map, upper semicontinuous with convex closed values.
Step 1. \(N(x)\) is convex for each \(x\in PC(J,R)\).
Indeed, if \(h_{1}\), \(h_{2}\) belong to \(N(x)\), then there exist \(\overline {v}_{1}, \overline{v}_{2}\in S_{F,\tau(t,x)}\) such that
Let \(0\leq l\leq1\). Then, for each \(t\in J\), we have
Since \(S_{F,\tau(t,x)}\) is convex (because F has convex values in (H1)), then \(l h_{1}+(1-l)h_{2}\in N(x)\), so \(N(x)\) is convex.
Step 2. N is completely continuous.
First, we show that N maps bounded sets into bounded sets in \(PC(J,R)\). Let q be a positive constant, \(B_{q}=\{x\in PC(J,R): \|x\| _{PC}< q\}\) be a bounded set, and \(x\in B_{q}\). Then for each \(h\in N(x)\), there exists \(v\in S_{F,\tau(t,x)}\) such that
Noting the boundary condition of (3.1) and the definition of τ, we have
Let \(\rho_{1}=\max(q,\sup_{t\in J}|\alpha(t)|,\sup_{t\in J}|\beta (t)|)\). Then \(|\tau(t,x)|\leq\rho_{1}\). By (H1) there exists \(\varphi _{\rho_{1}}\in L^{1}(J,[0,+\infty))\) such that
If \(x\in B_{q}\), then there exist \(c_{k}>0\), \(k=1,\ldots,m\), such that \(|I_{k}(\tau(t_{k},x(t_{k})))|\leq c_{k}\), since \(I_{k}\) are continuous in (H3) and (3.4). So, with (3.3), (3.5), and (H5), we have
and thus \(\|N(x)\|_{PC}\leq K\).
Second, we prove that N maps bounded sets into quasiequicontinuous sets of \(PC(J,R)\). Let \(u_{1},u_{2}\in J_{k}\), \(k=0,1,\ldots,m\), \(u_{1}< u_{2}\), \(x\in B_{q}\), and \(h\in N(x)\). Then
As \(u_{2}\rightarrow u_{1}\), the right-hand side of this inequality tends to zero since \(T(t)\) is strongly continuous. This proves that \(N(B_{q})\) is quasiequicontinuous. By Lemma 2.8, N is completely continuous and therefore a condensing map.
Step 3. N has a closed graph.
Let \(x_{n}\rightarrow x^{\ast}\), \(h_{n}\in N(x_{n})\), and \(h_{n}\rightarrow h^{\ast}\). We will prove that \(h^{\ast}\in N(x^{\ast })\). Since \(h_{n}\in N(x_{n})\), there exist \(v_{n}\in S_{F,\tau (t,x_{n})}\) such that
Next, we need prove that there exists \(v^{\ast}\in S_{F,\tau(t,x^{\ast })}\) such that, for each \(t\in J\),
Since \(x_{n}\rightarrow x^{\ast}\), \(h_{n}\rightarrow h^{\ast}\), and \(I_{k}\in C(R,R)\) in (H3), by the definition of τ we have
as \(n\rightarrow\infty\). Consider the linear continuous operator \(\varGamma : L^{1}(J,R)\rightarrow C(J,R)\) defined by
Note that \(S_{F,\tau(t,x)}\) is nonempty, so by Lemma 2.4, \(\varGamma\circ S_{F}\) is a closed graph operator. Moreover,
Since \(x_{n}\rightarrow x^{\ast}\), by (3.6) and (3.7) there exists \(v^{\ast}\in S_{F,\tau(t,x^{\ast})}\) satisfying
As a consequence of Steps 1 to 3, N is a completely continuous multivalued upper semicontinuous map with convex closed values.
Step 4. The set \(\Re=\{x\in PC(J,R):\lambda x\in N(x) \mbox{ for some } \lambda>1\}\) is bounded.
Let \(x\in\Re\). Then \(\lambda x\in N(x)\) for some \(\lambda>1\). Thus, for each \(t\in J\),
for some \(v\in S_{F,\tau(t,x)}\). Let \(\rho_{2}=\max(\sup_{t\in J}|\alpha (t)|,\sup_{t\in J}|\beta(t)|)\). From (3.4) it follows that \(|\tau (t,x)|\leq\rho_{2}\). By (H1) there exists \(\varphi_{\rho_{2}}\in L^{1}(J,[0,+\infty))\) such that
Since \(I_{k}\in C(R,R)\) in (H3) and (3.4), there exist \(c'_{k}>0\), \(k=1,\ldots,m\), such that \(|I_{k}(\tau(t_{k}, x(t_{k})))|\leq c'_{k}\). So, by (3.3) and (3.8), for each \(t\in J\), we have
Set
Using Gronwall’s lemma (see [18], p. 36), for each \(t\in J\), we have
So,
This shows that the set ℜ is bounded. As a consequence of Lemma 2.5, we deduce that N has a fixed point, which is a solution of problem (3.1).
Step 5. The solution x of (3.1) satisfies
and
We first prove (3.9). Let x be a solution of (3.1). We prove that \(x(t)\leq\beta(t)\) for all \(t\in J\). Suppose that \(x-\beta\) attains a positive maximum on J at \(s_{0}\). As (3.3), we consider the only possible case \(s_{0}\in(0,T]\). Then there exists \(s_{1}\in(0,s_{0})\), \(s_{1}\neq t_{k}\ (k=1,2,\ldots,m)\), such that
So, \(\tau(t, x)=\beta(t)\) for \(t\in[s_{1},s_{0}]\), and there exists \(v\in F(t,\beta(t))\) such that
By (H6) and Definition 2.2 we have
This is a contradiction. Consequently, \(x(t)\leq\beta(t)\) for all \(t\in J\).
Similarly, we can prove that \(\alpha(t)\leq x(t)\) on J. This shows that (3.9) holds.
Finally, we prove that the solution x of (3.1) satisfies (3.10). Suppose that
Then by the boundary condition of (3.1) and the definition of τ we have
By (3.9) and the definition of τ we have
Since g is nondecreasing in the second variable in (H4) and \(x(b)\leq \beta(b)\), we have
which contradicts \(g(\alpha(0),\beta(b))\leq0\) in Definition 2.2. So, we have
Analogously, we can prove that
Inequalities (3.14) and (3.15) show that (3.10) holds.
According to Steps 1 to 5, the solution x of (3.1) is also a solution of (1.1)–(1.3). The proof is complete. □
Remark 3.2
If \(g(x(0),x(b))=x(0)+x(b)\) in (1.1)–(1.3), that is, \(x(0)=-x(b)\), which satisfies (H4), then (1.1)–(1.3) become an antiperiodic boundary value problem for semilinear impulsive differential inclusions.
4 Corollary
Definition 4.1
Functions \(\alpha, \beta\in PC(J,R)\cap AC(J',R)\) are said to be lower and upper solutions for problem (1.1)–(1.3) if there exist \(v_{1}, v_{2}\in L^{1}(J,R)\) such that
and
Corollary 4.2
Assume (H1), (H3), (H5), (H6), and the following conditions hold.
- (H7):
-
Functions \(\alpha,\beta\in PC(J,R)\cap AC(J',R)\) are lower and upper solutions of problem (1.1)–(1.3) given in Definition 4.1 and satisfying \(\alpha(t)\leq\beta(t)\), \(t\in J\).
- (H8):
-
g is a continuous single-valued map in \((x,y)\in [\alpha(0),\beta(0)]\times[\alpha(b),\beta(b)]\) and nonincreasing in \(y\in[\alpha(b),\beta(b)]\).
Then system (1.1)–(1.3) has at least one solution x such that \(\alpha(t)\leq x(t)\leq\beta(t)\) for all \(t\in J\).
The proof is similar to that of Theorem 3.1, and we omit it.
Remark 4.3
If \(g(x(0),x(b))=x(0)-x(b)\) in (1.1)–(1.3), that is, \(x(0)=x(b)\), which satisfies (H8), then (1.1)–(1.3) become a periodic boundary value problem for impulsive semilinear differential inclusions.
Definition 4.4
Functions \(\alpha, \beta\in PC(J,R)\cap AC(J',R)\) are said to be lower and upper solutions for problem (1.1)–(1.3) if there exist \(v_{1}, v_{2}\in L^{1}(J,R)\) such that
and
Corollary 4.5
Assume that (H1), (H3), (H4), (H5), (H6), and the following condition hold.
- (H9):
-
Functions \(\alpha,\beta\in PC(J,R)\cap AC(J',R)\) are lower and upper solutions of problem (1.1)–(1.3) given in Definition 4.4 and satisfying \(\alpha(t)\leq\beta(t)\), \(t\in J\).
Then system (1.1)–(1.3) has at least one solution x such that \(\alpha(t)\leq x(t)\leq\beta(t)\) for all \(t\in J\).
Proof
We transform (1.1)–(1.3) into a fixed point problem. Consider the modified problem
where \(F_{1}\) and τ are defined in (3.1).
The rest of the proof of Corollary 4.5 is similar to the proof of Theorem 3.1, and we omit it. □
Definition 4.6
Functions \(\alpha, \beta\in PC(J,R)\cap AC(J',R)\) are said to be related lower and upper solutions for problem (1.1)–(1.3) if there exist \(v_{1}, v_{2}\in L^{1}(J,R)\) such that
and
Corollary 4.7
Assume that (H1), (H3), (H5), (H6), (H8), and the following condition hold.
- (H10):
-
Functions \(\alpha,\beta\in PC(J,R)\cap AC(J',R)\) are related lower and upper solutions of problem (1.1)–(1.3) given in Definition 4.6 and satisfying \(\alpha(t)\leq\beta(t)\), \(t\in J\).
Then system (1.1)–(1.3) has at least one solution x such that \(\alpha(t)\leq x(t)\leq\beta(t)\) for all \(t\in J\).
The proof is similar to that of Corollary 4.5, and we omit it.
5 An example
In this section, as an application of our main result, we present an example. We consider the following partial differential equation:
where \(J'=[0,b]\backslash\{t_{1},\ldots,t_{m}\}\). Let \(X=L^{2}([0,\pi ],R)\). Define \(F:[0,b]\times X\rightarrow P(X)\), \(I_{k}: X\rightarrow X\), and \(g:X\times X\rightarrow X\) by
Obviously, \(I_{k}\) and g satisfy conditions (H3) and (H4) in Theorem 3.1, respectively.
Define \(A:X\rightarrow X\) by \(Ax=x''\) with
It is well known that A is the infinitesimal generator of a strongly continuous cosine function \((C(t))_{t\in R}\) on X. The operator A has a discrete spectrum, and the eigenvalues are \(-n^{2}\), \(n\in N\), with corresponding eigenvectors \(z_{n}(\theta)=(2/\pi)^{1/2}\sin(n\theta )\). Furthermore, the set \(\{z_{n}:n\in N\}\) is an orthonormal basis of X, and the following properties hold.
-
(a)
For \(x\in D(A)\), \(Ax=-\sum_{n=1}^{\infty}n^{2}\langle x,z_{n}\rangle z_{n}\).
-
(b)
For \(x\in X\), \(C(t)x=\sum_{n=1}^{\infty}\cos(nt)\langle x,z_{n}\rangle z_{n}\).
Consequently, \(\|C(t)\|\leq1\) for all \(t\in R\), that is, condition (H5) in Theorem 3.1 is satisfied. More about the cosine family can be found in [19, 20]. Hence the partial differential inclusions (5.1) can be rewritten in an abstract form as system (1.1)–(1.3).
If we assume that conditions (H1), (H2), and (H6) in Theorem 3.1 hold, then system (5.1) has at least one mild solution.
References
Hadjian, A., Heidarkhani, S.: Existence of one non-trivial anti-periodic solution for second-order impulsive differential inclusions. Math. Methods Appl. Sci. 40(14), 5009–5017 (2017)
Heidarkhani, S., Afrouzi, G.A., Hadjian, A., Henderson, J.: Existence of infinitely many anti-periodic solutions for second-order impulsive differential inclusions. Electron. J. Differ. Equ. 2013, 97 (2013)
Tian, Y., Hendenson, J.: Three anti-periodic solutions for second-order impulsive differential inclusions via nonsmooth critical point theory. Nonlinear Anal. 75(18), 6496–6505 (2012)
Afrouzi, G.A., Bohner, M., Caristi, G., Heidarkhani, S., Moradi, S.: An existence result for impulsive multi-point boundary value systems using a local minimization principle. J. Optim. Theory Appl. 177(1), 1–20 (2018)
Caristi, G., Ferrara, M., Heidarkhani, S., Tian, Y.: Nontrivial solutions for impulsive Sturm–Liouville differential equations with nonlinear derivative dependence. Differ. Integral Equ. 30(11–12), 989–1010 (2017)
Graef, J.R., Heidarkhani, S., Kong, L.: Nontrivial solutions of a Dirichlet boundary value problem with impulsive effects. Dyn. Syst. Appl. 25, 335–350 (2016)
Graef, J.R., Heidarkhani, S., Kong, L.: Existence of solutions to an impulsive Dirichlet boundary value problem. Fixed Point Theory 19(1), 225–234 (2018)
Heidarkhani, S., Ferrara, M., Salari, A.: Infinitely many periodic solutions for a class of perturbed second-order differential equations with impulses. Acta Appl. Math. 139, 81–94 (2015)
Heidarkhani, S., Moradi, S., Caristi, G.: Variational approaches for a p-Laplacian boundary value problem with impulsive effects. Bull. Iran. Math. Soc. 44(2), 377–404 (2018)
Ahmad, B., Nieto, J.J.: A study of impulsive fractional differential inclusions with anti-periodic boundary conditions. Fract. Differ. Calc. 2(1), 1–15 (2012)
Luo, Y.: Upper and lower solutions method for impulsive differential inclusions with nonlinear boundary conditions. Dyn. Syst. Appl. 27(2), 387–396 (2018)
Gabor, G.: Differential inclusions with state-dependent impulses on the half-line: new Fréchet space of functions and structure of solution sets. J. Math. Anal. Appl. 446(2), 1427–1448 (2017)
Benchohra, M., Henderson, J., Ntouyas, S.K.: On first order impulsive differential inclusions with periodic boundary conditions. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 9(3), 417–427 (2002)
Lasota, A., Opial, Z.: An application of the Kakutani–Ky–Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 13, 781–786 (1965)
Martelli, M.: A Rothe’s type theorem for noncompact acyclic-valued maps. Boll. Unione Mat. Ital. 4(3), 70–76 (1975)
Kamenskii, M., Obukhovskii, V., Zecca, P.: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter, Berlin (2001)
Bainov, D.D., Simeonov, P.S.: Impulsive Differential Equations: Periodic Solutions and Applications. Longman, Harlow (1993)
Hale, J.K.: Ordinary Differential Equations. Wiley, New York (1980)
Travis, C.C., Webb, G.F.: Cosine families and abstract nonlinear second order differential equations. Acta Math. Hung. 32(1), 75–96 (1978)
Goldstein, J.A.: Semigroups of Linear Operators and Applications. Oxford University Press, New York (1985)
Acknowledgements
The author is very grateful to the editor and referees for their useful suggestions, which have improved the paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that she has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Luo, Y. Existence results for impulsive semilinear differential inclusions with nonlinear boundary conditions. Bound Value Probl 2018, 165 (2018). https://doi.org/10.1186/s13661-018-1086-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1086-8