1 Introduction

In this paper, we shall study a class of initial value problems for second-order impulsive neutral functional differential inclusions in Banach spaces described in the form

$$ \left \{ \textstyle\begin{array}{l} \frac{d}{dt}[y'(t)-g(t,y_{t})]\in F(t,y_{t}), \quad \mbox{a.e. }t\in J =[0,T], t\neq t_{k}, k=1,\ldots,t_{m}, \\ \triangle y|_{t=t_{k}}=I_{k}(y(t_{k}^{-})), \quad k=1,\ldots,m, \\ \triangle y'|_{t=t_{k}}=\overline{I}_{k}(y(t_{k}^{-})), \quad k=1,\ldots,m, \\ y(t)=\phi(t) , \quad t\in[-r,0] , \qquad y'(0)=\eta, \end{array}\displaystyle \right . $$

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 \(t-r\), 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 second-order 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 state-dependent 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 second-order 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].

2 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 i-times 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

$$\| y\|_{\Omega}=\sup\bigl\{ \bigl\Vert y_{k}(t)\bigr\Vert : t\in[-r,T] \bigr\} . $$

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 bounded-closed, compact-convex, bounded-closed-convex and compact-acyclic (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\{\| x-y\|: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

$$H\bigl(F(x),F(y)\bigr)\leq k\| x-y\|. $$

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:

  1. (i)

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

  2. (ii)

    \(\Phi_{2}\) is completely continuous.

Then either

  1. (1)

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

  2. (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

  1. (i)

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

  2. (ii)

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

  3. (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. $$

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


\(\| 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.


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


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


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.


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


\(\| 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}'+(T-t_{k})d_{k}']\) and \(M(t)= \max\{ c_{1}^{\ast}, p_{1}(t) \}\).


$$ pT+\sum_{k=1}^{m}\bigl(c_{k}+(T-t_{k})d_{k} \bigr)< 1, $$

then the IVP (1.1) has at least one solution on \([-r,T]\).


Consider the operator \(N: \Omega\rightarrow P(\Omega )\) defined by

$$N(y)= \left \{ \textstyle\begin{array}{l@{\quad}l} \phi(t), & t\in[-r,0], \\ \phi(0)+[\eta-g(0,\phi(0))]t+\int_{0}^{t}g(s,y_{s})ds+\int_{0}^{t}\int_{0}^{s}v(u)\, du\, ds \\ \quad {}+\sum_{0< t_{k}< t}[I_{k}(y(t_{k}))+(t-t_{k})\overline {I}_{k}(y(t_{k}))] , & t\in J, \end{array}\displaystyle \right . $$

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


$$\begin{aligned} N_{1}(y) =& \bigl[\eta-g\bigl(0,\phi(0)\bigr)\bigr]t+\int _{0}^{t}g(s,y_{s})ds \\ &{}+\sum _{0< t_{k}< t}\bigl[I_{k}\bigl(y(t_{k}) \bigr)+(t-t_{k})\overline {I}_{k}\bigl(y(t_{k}) \bigr)\bigr] \end{aligned}$$


$$ N_{2}(y) = \phi(0)+\int_{0}^{t}\int _{0}^{s}v(u)\, du\, ds . $$

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

$$\begin{aligned} \bigl\Vert N_{1}(y)-N_{1}(\overline{y}) \bigr\Vert \leq&\int_{0}^{t}\bigl\Vert g(s,y_{s})-g(s, \overline{y}_{s})\bigr\Vert \, ds+\sum_{0< t_{k}< t} \bigl\Vert I_{k}\bigl(y(t_{k})\bigr)-I_{k} \bigl(\overline {y}(t_{k})\bigr)\bigr\Vert \\ &{}+\sum_{0< t_{k}< t}(T-t_{k})\bigl\Vert \overline {I}_{k}\bigl(y(t_{k})\bigr)-\overline{I}_{k} \bigl(\overline{y}(t_{k})\bigr)\bigr\Vert \\ \leq& p \int_{0}^{t}\Vert y_{s}- \overline{y}_{s}\Vert \, ds+\sum_{k=1}^{m}c_{k} \bigl\Vert y(t_{k})-\overline{y}(t_{k})\bigr\Vert \\ &{} +\sum _{k=1}^{m}(T-t_{k})d_{k} \bigl\Vert y(t_{k})-\overline {y}(t_{k})\bigr\Vert \\ \leq&\Biggl[pT+\sum_{k=1}^{m} \bigl(c_{k}+(T-t_{k})d_{k}\bigr)\Biggr]\Vert y- \overline{y}\Vert _{\Omega}. \end{aligned}$$


$$\bigl\Vert N_{1}(y)-N_{1}(\overline{y}) \bigr\Vert _{\Omega} \leq \Biggl[pT+\sum_{k=1}^{m} \bigl(c_{k}+(T-t_{k})d_{k}\bigr)\Biggr]\| y- \overline {y}\|_{\Omega}. $$

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

$$ h_{i}(t) = \phi(0)+\int_{0}^{t}\int _{0}^{s}v_{i}(u)\, du\, ds , \quad i=1,2, t\in J. $$

Let \(\lambda\in[0,1]\). Then, for each \(t\in J\), we have

$$\bigl(\lambda h_{1}+(1-\lambda)h_{2}\bigr) (t)=\phi(0)+\int _{0}^{t}\int_{0}^{s} \bigl[\lambda v_{1}(u)+(1-\lambda) v_{2}(u)\bigr]\, du\, ds. $$

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

$$ h(t)=\phi(0)+\int_{0}^{t}\int _{0}^{s}v(u)\, du\, ds . $$

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

$$ \bigl\Vert h(\tau_{2})- h(\tau_{1}) \bigr\Vert \leq\int _{\tau _{1}}^{\tau_{2}}\int_{0}^{s}v(u) \, du\, ds. $$

The right-hand 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

$$ h_{\epsilon}(t)=\phi(0)+\int_{0}^{t-\epsilon}\int _{0}^{s}v(u)\, du\, ds. $$

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})\),

$$ \bigl\Vert h(t)-h_{\epsilon}(t) \bigr\Vert \leq \biggl\Vert \int _{t-\epsilon}^{t}\int_{0}^{s}v(u) \, du\, ds\biggr\Vert \leq T\psi(q)\int_{t-\epsilon}^{t}p_{1}(s) \, ds. $$

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

$$h_{n}(t) = \phi(0)+\int_{0}^{t}\int _{0}^{s}v_{n}(u)\,du\,ds, \quad t\in J. $$

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

$$ h_{\ast}(t)-\phi(0) = \int_{0}^{t}\int _{0}^{s}v_{\ast}(u)\,du\,ds. $$

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

$$\begin{aligned} y(t) =&\lambda\phi(0)+\lambda\bigl[\eta-g\bigl(0,\phi(0)\bigr)\bigr]t+\lambda \int_{0}^{t}g(s,y_{s})\,ds+\lambda\int _{0}^{t}\int_{0}^{s}v(u) \,du\,ds \\ &{}+\lambda\sum_{0< t_{k}< t}\bigl[I_{k} \bigl(y(t_{k})\bigr)+(t-t_{k})\overline{I}_{k} \bigl(y(t_{k})\bigr)\bigr] \end{aligned}$$

for some \(0<\lambda<1\). Then, by the assumptions, we have

$$\begin{aligned} \bigl\Vert y(t)\bigr\Vert \leq&\|\phi\|_{\mathcal {D}}+T\bigl(| \eta|+c_{1}^{\ast}\|\phi\|_{\mathcal {D}}+2c_{2}^{\ast} \bigr)+ \int_{0}^{t}c_{1}^{\ast} \| y_{s}\|_{\mathcal{D}}\,ds \\ &{}+\int_{0}^{t}p_{1}(s)\int _{0}^{s}\psi\bigl(\Vert y_{u}\Vert _{\mathcal{D}}\bigr)\,du\,ds+\sum_{k=1}^{m} \bigl[c_{k}'+(T-t_{k})d_{k}' \bigr]. \end{aligned}$$

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]\),

$$\begin{aligned} \mu(t) \leq&\|\phi\|_{\mathcal{D}}+T\bigl(|\eta| +c_{1}^{\ast} \|\phi\|_{\mathcal{D}}+2c_{2}^{\ast}\bigr)+ \int _{0}^{t}M(s)\mu(s)\,ds \\ &{}+\int_{0}^{t}M(s)\int_{0}^{s} \psi\bigl(\mu(u)\bigr)\,du\,ds+\sum_{k=1}^{m} \bigl[c_{k}'+(T-t_{k})d_{k}' \bigr]. \end{aligned}$$

If \(t^{\ast}\in[-r,0]\), then \(\mu=\|\phi\| _{\mathcal{D}}\) and the above inequality holds.

Let us take the right-hand side of the above inequality as \(\theta (t)\). Then we have

$$\begin{aligned}& \overline{c}=v(0)=\|\phi\|_{\mathcal{D}}+T\bigl(|\eta |+c_{1}^{\ast} \|\phi\|_{\mathcal {D}}+2c_{2}^{\ast}\bigr)+\sum _{k=1}^{m}\bigl[c_{k}'+(T-t_{k})d_{k}' \bigr], \quad \mu(t)\leq\theta(t), \\& \theta'(t)=M(t)\mu(t)+M(t)\int_{0}^{t} \psi\bigl(\mu(s)\bigr)\,ds,\quad t\in[0,T]. \end{aligned}$$

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]\),

$$\int_{w(0)}^{w(t)}\frac{ds}{s+\psi(s)}\leq\int _{0}^{T}M(s)\,ds< \int_{\overline{c}}^{\infty} \frac{ds}{s+\psi(s)}. $$

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

4 Example

As an application of Theorem 3.1, we consider second-order impulsive neutral functional differential inclusions of the following form:

$$ \left \{ \textstyle\begin{array}{l} \frac{\partial^{2}}{\partial t^{2}}v(t,x)\in\frac{\partial }{\partial t}g(t,v(t-h),x)+[f_{1}(t,v(t-h),x),f_{2}(t,v(t-h),x)], \\ \quad x\in[0,\pi], t\in J, t\neq t_{k}, \\ v(t_{k}^{+},x)-v(t_{k}^{-},x)=I_{k}(v(t_{k}^{-},x)), \quad k=1,\ldots,m, \\ v'(t_{k}^{+},x)-v'(t_{k}^{-},x)=\overline{I}_{k}(v(t_{k}^{-},x)), \quad k=1,\ldots,m, \\ v(t,0)=v(t,\pi)=0,\quad t\in J, \\ v(t,x)=\phi(t,x), \qquad \frac{\partial}{\partial t}v(0,x)=\eta(x), \quad t\in[-\infty,0), x\in[0,\pi] , \end{array}\displaystyle \right . $$

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

$$\begin{aligned}& \phi(\theta) (x)=\phi(\theta,x) , \quad (\theta,x)\in(-\infty ,0]\times[0,\pi] , \qquad v(t) (x)=v(t,x) , \\& I_{k}\bigl(y\bigl(t_{k}^{-}\bigr)\bigr) (x)=I_{k}\bigl(v\bigl(t_{k}^{-},x\bigr)\bigr) , \qquad \overline {I}_{k}\bigl(y\bigl(t_{k}^{-} \bigr)\bigr) (x)=\overline{I}_{k}\bigl(v\bigl(t_{k}^{-},x \bigr)\bigr) ,\quad x\in [0,\pi] , k=1,\ldots,m , \\& g(t,\phi) (x)= g\bigl(t,\phi(\theta,x)\bigr) \end{aligned}$$


$$ F(t,\phi) (x)=\bigl[f_{1}\bigl(t,\phi(\theta,x)\bigr),f_{2} \bigl(t,\phi(\theta,x)\bigr)\bigr] ,\quad -\infty< \theta\leq0 , x\in[0,\pi] . $$

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.