 Research
 Open Access
 Published:
Existence results of secondorder impulsive neutral functional differential inclusions in Banach spaces
Advances in Difference Equations volume 2015, Article number: 309 (2015)
Abstract
In this paper, we investigate the existence of solutions for a class of secondorder impulsive neutral functional differential inclusions in Banach spaces. Sufficient conditions for the existence are derived with the help of the fixed point theorem for multivalued maps due to Dhage.
Introduction
In this paper, we shall study a class of initial value problems for secondorder impulsive neutral functional differential inclusions in Banach spaces described in the form
where \(F: J\times\mathcal{D}\rightarrow P(E)\) is a multivalued map, \(g: J\times\mathcal{D}\rightarrow E\) is a given function, \(\mathcal {D} \) = {\(\psi:[r,0]\rightarrow E\mid\psi\) is continuous everywhere except for a finite number of points s at which \(\psi(s)\) and the right limit \(\psi(s^{+})\) exist and \(\psi(s^{})=\psi(s)\)}, \(\phi\in\mathcal{D}\) (\(0< r<\infty\)), \(P(E)\) is the family of all subsets of E, \(0=t_{0}< t_{1}<\cdots<t_{m}<t_{m+1}=T\), \(I_{k}: E\rightarrow E\) (\(k=1,2,\ldots,m\)), \(\overline{I}_{k}: \overline {E}\rightarrow E\), and \(\eta\in E\), \(\triangle y _{t=t_{k}}=y(t_{k}^{+})y(t_{k}^{})\); \(y(t_{k}^{})\) and \(y(t_{k}^{+})\) represent the left and right limits of \(y(t)\), \(t=t_{k}\), respectively, and E a real separable Banach space with norm \(\\cdot\\).
For any continuous function y defined on \([r,T]\backslash\{ t_{1},t_{2},\ldots, t_{m}\}\) and \(t\in J\), we denote by \(y_{t}\) the element of \(\mathcal{D}\) defined by \(y_{t}(\theta)=y(t+\theta) \), \(\theta\in[r,0]\). Here \(y_{t}(\cdot)\) represents the history of the state from time \(tr\), up to the present time t.
In recent years, the theory of impulsive differential equations or inclusions has become an active area of investigation due to their applications in the fields of mechanics, electrical engineering, medicine biology, ecology, and so on. It has attracted great interest of researchers. For example, with the aid of Schaefer’s theorem, an existence result for first and secondorder impulsive neutral functional differential equations in Banach spaces has been given by the authors in [1]. By means of a fixed point theorem for condensing multivalued map, solvability of impulsive neutral evolution differential inclusions with statedependent delay has been given by the authors in [2]. There are many other methods such as in [3, 4] that have been for various initial and boundary value problems for impulsive differential inclusions. However, recently much attention has been paid to using a fixed point theorem for multivalued maps due to Dhage to solve the problem for impulsive differential inclusions. One can refer to [5, 6] and the references therein. Motivated by the previous mentioned paper, we will study the existence of solutions for a class of secondorder impulsive neutral functional differential inclusions in Banach spaces. Sufficient conditions for the existence are given by means of the fixed point theorem for multivalued maps due to Dhage [7]. For the IVP (1.1) we refer to [8].
Preliminaries
In this section, we shall introduce some basic definitions and lemmas which are used throughout this paper.
For \(\psi\in\mathcal{D}\), the norm of ψ is defined by \(\\psi\_{\mathcal{D}}=\sup\{\\psi(\theta )\: r\leq\theta\leq0\}\).
\(AC^{i}(J,E)\) is the space of itimes differentiable functions \(y: J\rightarrow E\), whose ith derivative, \(y^{i}\), is absolutely continuous.
Ω := \(\Omega([r,T])\) = {\(y: [r,T]\rightarrow E: y_{k}\in C(J_{k},E)\), \(k=0,\ldots,m\) and there exist \(y(t_{k}^{})\) and \(y(t_{k}^{+})\), \(k=1,\ldots,m\), with \(y(t_{k}^{})=y(t_{k})\)}, which is a Banach space with the norm
Let \(P(X)\) denote the class of all nonempty subsets of X. Let \(P_{\mathrm{bd},\mathrm{cl}}(X)\), \(P_{\mathrm{cp},\mathrm{cv}}(X)\), \(P_{\mathrm{bd},\mathrm{cl},\mathrm{cv}}(X)\), and \(P_{\mathrm{cd}}(X)\) denote, respectively, the family of all nonempty boundedclosed, compactconvex, boundedclosedconvex and compactacyclic (see [9]) subset of X. For \(x\in X\) and \(Y,Z\in P_{\mathrm{bd},\mathrm{cl}}(X)\), we define \(D(x,Y)=\inf\{\ xy\:y\in Y\}\), \(\rho(Y,Z)=\sup_{a\in Y}D(a,Z)\), and the Hausdorff metric \(H:P_{\mathrm{bd},\mathrm{cl}}(X)\times P_{\mathrm{bd},\mathrm{cl}}(X)\rightarrow R^{+}\) by \(H(A,B)=\max\{\rho(A,B),\rho(B,A)\}\).
F is called upper semicontinuous (for brevity: u.s.c.) on X, if for each \(x_{\ast}\in X\), the \(F(x_{\ast})\) is nonempty, closed subset of X, and if, for each open of V of X containing \(F(x_{\ast})\), there exists an open neighborhood N of \(x_{\ast}\) such that \(F(N)\subseteq V\). F is said to be complete if \(F(N)\) is relatively compact, for every bounded subset \(V\subseteq X\).
If the multivalued map F is completely continuous with nonempty compact values, then F is u.s.c. 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})\).
A point \(x_{0}\in X\) is called a fixed point of the multivalued map G if \(x_{0}\in F(x_{0})\). For more details of the multivalued maps, see the books of Deimling [10].
Definition 2.1
Let \(F:X\rightarrow P_{\mathrm{bd},\mathrm{cl}}(X)\) be a multivalued map. Then F is called a multivalued contraction if there exists a constant \(k\in(0,1)\) such that for each \(x,y\in X\) we have
The constant k is called a contraction constant of F.
Lemma 2.1
Let E be a Banach space. Let \(F: J\times E\rightarrow P_{\mathrm{cp},\mathrm{cv}}(E)\) be an \(L^{1}\)Carathéodory multivalued map with \(S_{F,y}:=\{f\in L^{1}(J,E):f(t)\in F(t,y(t)) \textit{ for a.e. } t\in J\}\neq\varnothing\) and let Γ be a linear continuous mapping from \(L^{1}(J,E)\) to \(C(J,E)\), then the operator \(\Gamma\circ S_{F}:C(J,E)\rightarrow P_{\mathrm{cp},\mathrm{cv}}(C(J,E))\), \(y\mapsto (\Gamma\circ S_{F})(y):=\Gamma(S_{F,y})\) is a closed graph operator in \(C(J,E)\times C(J,E)\).
Theorem 2.1
Let E be a Banach space, \(\Phi _{1}:E\rightarrow P_{\mathrm{bd},\mathrm{cl},\mathrm{cv}}(E)\) and \(\Phi_{2}:E\rightarrow P_{\mathrm{cp},\mathrm{cv}}(E)\) be two multivalued maps satisfying:

(i)
\(\Phi_{1}\) is a contraction with a contraction constant k, and

(ii)
\(\Phi_{2}\) is completely continuous.
Then either

(1)
the operator inclusion \(x\in\Phi_{1}x+\Phi_{2}x\) has a solution, or

(2)
the set \(G=\{x\in E:x\in\lambda\Phi_{1}x+ \lambda\Phi _{2}x\}\) is unbounded for \(\lambda\in(0,1)\).
Definition 2.2
The multivalued map \(F: J\times E\rightarrow P(E)\) is said to be \(L^{1}\)Carathéodory if

(i)
\(t\mapsto F(t,u)\) is measurable for each \(u\in E\);

(ii)
\(u\mapsto F(t,u)\) is upper semicontinuous on E for all \(t\in J\);

(iii)
for each \(\rho> 0\), there exists \(\varphi_{\rho}\in L^{1}(J,R^{+})\) such that
$$\bigl\Vert F(t,u)\bigr\Vert _{P(E)}=\sup\bigl\{ \vert v\vert :v \in F(t,u)\bigr\} \leq \varphi_{\rho}(t), \quad \forall\ u\\leq\rho \text{ and for a.e. } t\in J. $$
Main result
Definition 3.1
A function \(y\in\Omega\cap AC^{1}((t_{k},t_{k+1}),E)\), \(k=0,\ldots,m\), is said to be a solution of (1.1) if y satisfies the differential inclusion \(\frac {d}{dt}[y'(t)g(t,y_{t})]\in F(t,y_{t})\) a.e. on \(J\backslash\{ t_{1},t_{2},\ldots, t_{m}\}\), the conditions \(\triangle y _{t=t_{k}}=I_{k}(y(t_{k}^{}))\), \(\triangle y' _{t=t_{k}}=\overline{I}_{k}(y(t_{k}^{}))\), \(k=1,\ldots,m\), \(y(t)=\phi(t)\), \(t\in[r,0]\), and \(y'(0)=\eta\).
Theorem 3.1
Assume the following.
 (H_{1}):

\(\ g(t,u)g(t,\overline{u})\\leq p\ u\overline{u}\\), for each \(u, \overline{u}\in \mathcal{D}\), where p is a nonnegative constant.
 (H_{2}):

\(\ I_{k}(y)I_{k}(\overline{y})\ \leq c_{k}\ y\overline{y}\\), for each \(y, \overline {y}\in E\), \(k=1,\ldots,m\), where \(c_{k}\) are nonnegative constants, and there exist constants \(c_{k}'\) such that \( I_{k}(y)\leq c_{k}'\), \(k=1,\ldots,m\), for each \(y\in E\).
 (H_{3}):

\(\\overline{I}_{k}(y)\overline {I}_{k}(\overline{y})\\leq d_{k}\ y\overline {y}\\), for each \(y, \overline{y}\in E\), \(k=1,\ldots,m\), where \(d_{k}\) are nonnegative constants, and there exist constants \(d_{k}'\) such that \(\overline{I}_{k}(y)\leq d_{k}'\), \(k=1,\ldots,m\), for each \(y\in E\).
 (H_{4}):

The function g is completely continuous and there exist constants \(0\leq c_{1}^{\ast}\leq1\) and \(c_{2}^{\ast}\geq0\) such that \( g(t,u)\leq c_{1}^{\ast}\ u\ +c_{2}^{\ast}\), \(t\in J\), \(u\in\mathcal{D}\) are satisfied.
 (H_{5}):

\(F:J\times\mathcal{D}\rightarrow P_{\mathrm{b},\mathrm{cp},\mathrm{cv}}(E)\) is an L ^{1}Carathéodory function.
 (H_{6}):

\(\ F(t,u)\\leq p_{1}(t)\psi (\ u\_{\mathcal{D}})\) for almost all \(t\in J\) and all \(u\in\mathcal{D}\), where \(p_{1}\in L^{1}(J,R_{+})\) and \(\psi: R_{+}\rightarrow(0,\infty)\) is continuous and increasing with
$$\int_{0}^{T}M(s)\, ds< \int_{\overline{c}}^{\infty} \frac{ds}{s+\psi(s)}, $$where \(\overline{c}=\\phi\_{\mathcal{D}}+ [\\eta\+c_{1}^{\ast}\\phi\ _{\mathcal{D}}+2c_{2}^{\ast} ]T +\sum_{k=1}^{m}[c_{k}'+(Tt_{k})d_{k}']\) and \(M(t)= \max\{ c_{1}^{\ast}, p_{1}(t) \}\).
If
then the IVP (1.1) has at least one solution on \([r,T]\).
Proof
Consider the operator \(N: \Omega\rightarrow P(\Omega )\) defined by
where \(v\in S_{F,y} = \{y\in L^{1}(J,E):v(t)\in F(t,y_{t}) \mbox{ for a.e. } t\in J\}\). It is clear that the fixed points of N are solutions of problem (1.1).
Let
and
In the sequel, let \(B_{q}=\{y\in\Omega:\ y\\leq q \}\).
Step 1. \(N_{1} \) is a contraction.
Let \(y,\overline{y} \in B_{q}\). By the assumption, we have
Then
From (3.1), we see that \(N_{1}\) is a contraction.
Step 2. \(N_{2}(y) \) is convex for each \(y \in\Omega\).
Indeed, if \(h_{1} , h_{2} \in N_{2}(y)\), then there exist \(v_{1}, v_{2}\in S_{F,y}\) such that
Let \(\lambda\in[0,1]\). Then, for each \(t\in J\), we have
Since \(S_{F,y}\) is convex (because F has convex values), \(\lambda h_{1}+(1\lambda)h_{2}\in N_{2}(y)\).
Step 3. \(N_{2} \) maps bounded sets into bounded sets in Ω.
Indeed, it is enough to show that there exists a positive constant Λ such that for each \(h \in N_{2}(y) \), \(y\in B_{q}=\{y\in \Omega:\ y\\leq q\} \), one has \(\ h\ \leq\Lambda\). If \(h \in N_{2}(y) \), then there exists \(v \in S_{F,y} \) such that for each \(t\in J\), we have
By the assumption, for each \(t\in J\), we have \(\ h(t)\ \leq\\phi\_{\mathcal{D}}+\int_{0}^{T}\int_{0}^{s}\varphi_{q} \, du\, ds :=\Lambda\). Then, for each \(h \in N_{2}(y) \), we have \(\ h(t)\ \leq\Lambda\).
Step 4. \(N_{2} \) maps bounded sets into equicontinuous sets of Ω.
Let \(0<\tau_{1}<\tau_{2}\leq T\). Then we have, for each and \(y\in B_{q}\) and \(h \in N_{2}(y)\), the existence of \(v \in S_{F,y} \) such that (3.2) hold. Therefore
The righthand side of the above inequality tends to zero as \(\tau _{2}\rightarrow\tau_{1}\). Thus, the set \(\{N_{2}y: y\in B_{q}\}\) is equicontinuous.
Step 5. \(N_{2}y \) is a compact multivalued map.
From the above claims, we see that \(N_{2}B_{q} \) is a uniformly bounded and equicontinuous collection. Therefore, it suffices to show by the ArzeláAscoli theorem that \(N_{2} \) maps \(B_{q} \) into a precompact set into Ω. That is, for each fixed \(t\in J\), the set \(V(t)=\{h(t):h\in B_{q}\}\) is precompact in E.
Obviously, \(V(0)=\{N(0)\}\). Let \(t>0\) be fixed and for \(0<\epsilon<t\), define
Since \(v\in S_{F,y}\), the set \(V_{\epsilon}(t)=\{h_{\epsilon}(t): h\in N_{2}(B_{q})\}\) is precompact in Ω for every ϵ, \(0<\epsilon<t\). Moreover, for every \(h\in N_{2}(B_{q})\),
Therefore, \(\ h(t)h_{\epsilon}(t) \\rightarrow0\), as \(\epsilon\rightarrow0^{+}\), and there are precompact sets arbitrary close to the set \(\{h(t):y\in N_{2}(B_{q})\}\). Hence, the ArzeláAscoli theorem shows that \(N_{2}\) is a compact multivalued map.
Step 6. \(N_{2} \) has a closed graph.
Let \(y_{n}\rightarrow y_{\ast}\), \(h_{n}\in N_{2}(y_{n})\), and \(h_{n}\rightarrow h_{\ast}\). We will prove that \(h_{\ast}\in N_{2}y_{\ast}\). Indeed, \(h_{n}\in N_{2}(y_{n})\) means that there exists \(v_{n} \in S_{F,y_{n}} \) such that
We must prove that there exists \(v_{\ast} \in S_{F,y_{\ast}} \) such that \(h_{\ast}(t) = \phi(0)+\int_{0}^{t}\int_{0}^{s}v_{\ast }(u)\,du\,ds\), \(t\in J\).
We have \(\[h_{n}(t)\phi(0)][h_{\ast}(t)\phi (0)]\_{\Omega}\rightarrow0\), as \(n\rightarrow\infty\). Consider the linear continuous operator \(\Gamma: L^{1}(J,E)\rightarrow C(J,E)\), \(v\mapsto\Gamma(v)(t)=\int_{0}^{t}\int_{0}^{s}v(u)\,du\,ds\). From Lemma 2.1, it follows that \(\Gamma\circ S_{F}\) is a closed graph operator. Moreover, we have \((h_{n}(t)\phi(0))\in\Gamma(S_{F,y_{n}})\).
Since \(y_{n}\rightarrow y_{\ast}\), it follows from Lemma 2.1 that \((h_{\ast}(t)\phi(0))\in\Gamma(S_{F,y_{\ast}})\), that is, there must exist a \(v_{\ast} \in S_{F,y_{\ast}} \), such that
Therefore, \(N_{2}\) is a completely continuous multivalued map, u.s.c. with convex closed, compact values.
Step 7. A priori estimate.
Now it remains to show that the set \(G=\{y\in\Omega: y\in\lambda N_{1}y+ \lambda N_{2}y \mbox{ for some } 0<\lambda<1\}\) is bounded. Let \(y \in G\), then there exists \(v\in S_{F,y}\) such that
for some \(0<\lambda<1\). Then, by the assumptions, we have
We consider the function μ defined by \(\mu(t):=\sup\{ y(s): r\leq s\leq t\}\), \(0\leq t\leq T\). Let \(t^{\ast}\in[r,t]\) be such that \(\mu(t)= y(t^{\ast})\).
If \(t^{\ast}\in J\), by the above inequality, we have, for \(t \in[0,T]\),
If \(t^{\ast}\in[r,0]\), then \(\mu=\\phi\ _{\mathcal{D}}\) and the above inequality holds.
Let us take the righthand side of the above inequality as \(\theta (t)\). Then we have
Using the nondecreasing character of ψ, we get \(\theta '(t)\leq M(t)[\theta(t)+\int_{0}^{t}\psi(\theta(s))\,ds] \). Put \(w(t)=\theta(t)+\int_{0}^{t}\psi(\theta(s))\,ds\), \(t\in[0,T] \). Then \(w(0)=\theta(0)\), \(\theta(t)\leq w(t)\), \(t\in[0,T]\), and \(w'(t)=\theta'(t)+\psi(\theta(t))\leq M(t)[w(t)+ \psi(w(t)) ]\), \(t\in[0,T] \). This inequality implies, for each \(t\in[0,T]\),
This inequality implies that there exists a constant b such that \(w(t)\leq b\), \(t\in[0,T]\), and hence \(\mu(t)\leq b\), \(t\in[0,T]\). Since for every \(t\in[0,T]\), \(\ y_{t}\_{\mathcal {D}}\leq\mu(t)\), we have \(\ y\\leq\max\{\ \phi\_{\mathcal{D}},b\}\). Here b depends only on T and on the function \(p_{1}\) and ψ. This indicates that the set G is bounded.
As a consequence of Theorem 2.1, we deduce that \(N_{1}+N_{2}\) has a fixed point which is the mild solution of the problem (1.1). □
Example
As an application of Theorem 3.1, we consider secondorder impulsive neutral functional differential inclusions of the following form:
where \(J=[0,T]\), \(k=1,\ldots,m\), \(v(t_{k}^{+},x)=\lim_{s\rightarrow 0^{+}}v(t_{k}+s,x)\), \(v(t_{k}^{},x)=\lim_{s\rightarrow 0^{}}v(t_{k}+s,x)\), \(f_{1},f_{2}: J\times R \rightarrow R\) are two given functions. We assume that \(I_{k}\), \(\overline{I}_{k}\) are all continuous; assume that for each \(t\in J\), \(f_{1}(t,\cdot)\) is lower semicontinuous and for each \(t\in J\), \(f_{2}(t,\cdot)\) is super semicontinuous. It is clear that \(F=[f_{1},f_{1}]\) is compact and convex valued, and it is super semicontinuous. Hence, let
and
Hence, (4.1) can be rewritten as the abstract form as the system (1.1). We can define g, \(f_{1}\), \(f_{2}\) to satisfy the assumptions stated in Theorem 3.1. We omit it here. Therefore, the system (4.1) has at least one mild solution on J.
References
Benchohra, M, Henderson, J, Ntouyas, SK: Impulsive neutral functional differential equations in Banach spaces. Appl. Anal. 80, 353365 (2001)
Li, WS, Chang, YK, Nieto, JJ: Solvability of impulsive neutral evolution differential inclusions with statedependent delay. Math. Comput. Model. 49, 19201927 (2009)
Benchohra, M: Initial value problems for first order impulsive differential inclusions in Banach spaces. Nonlinear Oscil. 4(2), 146154 (2001)
Hu, J, Liu, X: Existence results of impulsive partial neutral integrodifferential inclusions with infinite delay. Nonlinear Anal. 71, e1132e1138 (2010)
Park, JY, Jeong, JU: Existence result for impulsive neutral stochastic functional integrodifferential inclusions with infinite delays. Adv. Differ. Equ. 2014, 17 (2014)
Ren, Y, Hu, L, Sakthivel, R: Controllability of impulsive neutral stochastic functional differential inclusions with infinite delay. J. Comput. Appl. Math. 23, 26032614 (2011)
Dhage, BC: Multivalued mappings and fixed points II. Tamkang J. Math. 37, 2746 (2006)
Benchohra, M, Henderson, J, Ntouyas, SK: Impulsive neutral functional differential inclusions in Banach spaces. Appl. Math. Lett. 15, 917924 (2002)
Fitzpatrick, PM, Petryshyn, WV: Fixed point theorems for multivalued noncompact acyclic mappings. Pac. J. Math. 54(2), 1723 (1974)
Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Acknowledgements
This work is supported by the NNSF of China (No. 11471109, No. 11571088) and a project supported by Scientific Research Fund of Hunan Provincial Education Department (No. 14A098, No. 14A028) and Hunan Provincial Natural Science Foundation of China (14JJ7083).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. 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 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
Li, T., Li, J. Existence results of secondorder impulsive neutral functional differential inclusions in Banach spaces. Adv Differ Equ 2015, 309 (2015). https://doi.org/10.1186/s1366201506478
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201506478
Keywords
 impulse neutral functional differential inclusions
 secondorder
 existence
 fixed point theorem