 Research
 Open Access
 Published:
Nonlocal evolution inclusions under weak conditions
Advances in Difference Equations volume 2018, Article number: 399 (2018)
Abstract
We study evolution inclusions given by multivalued perturbations of mdissipative operators with nonlocal initial conditions. We prove the existence of solutions. The commonly used Lipschitz hypothesis for the perturbations is weakened to onesided Lipschitz ones. We prove an existence result for the multipoint problems that cover periodic and antiperiodic cases. We give examples to illustrate the applicability of our results.
Introduction
In this paper, we study the nonlinear evolution system with nonlocal initial condition
in a Banach space X with uniformly convex dual. Here \(A: D(A)\subset X \rightrightarrows X\) is an mdissipative operator, \(F:I\times X \rightrightarrows X\) is a multifunction, and \(g:C(I,X)\rightarrow \overline{D(A)}\).
Notice that problem (1.1) has a number of applications, since it describes many phenomena better than the local initial value problems. We refer to the recent interesting book [6], where (1.1) is comprehensively studied. See also [2], where the authors assume that \(X^{*}\) is uniformly convex (as in the present paper) and A generates a compact semigroup. Nonautonomous A is also studied. In [21] the author considered the case where A is linear. In [16], it is assumed that A is of complete continuous type and generates a compact semigroup. The conditions on \(F(\cdot , \cdot )\) and \(g(\cdot )\) are mild, and the problem is studied in arbitrary (separable) Banach spaces. In fact the commonly assumptions used to prove the existence of solutions are either that A is of compact type (in particular, it generates a compact semigroup if \(X^{*}\) is uniformly convex) and F satisfies some upper semicontinuity, or F is Lipschitz continuous. In [22] the authors assumed that \(X^{*}\) is uniformly convex, and two cases are considered: one where A generates an equicontinuous semigroup and \(F(\cdot ,\cdot )\) is Lipschitz w.r.t. the Hausdorff measure of noncompactness, and the second is where A is mdissipative and \(F(s,\cdot )\) is Lipschitz. In the recent paper [1], the existence of solutions of (1.1) is proved when \(F(s,\cdot )\) is Lipschitz with nonempty closed bounded values in general Banach spaces. The results of [1, 22] are not applicable in the important case of periodic or antiperiodic boundary conditions, that is, \(g(y)=y(T)\) or \(g(y)=y(T)\). This problem is especially studied in the present paper. The periodic or antiperiodic boundary conditions were studied in the literature when A generates a compact semigroup (see [6]).
Among others, we recall also [8, 15, 19, 20], where nonlinear delayed evolution inclusions with nonlocal initial conditions are considered. See also [7], where the authors investigated problem (1.2) with state constrains.
In the present paper, we first prove the existence of solutions to problem (1.1), assuming that \(F(s,\cdot )\) is onesided Lipschitz, which is weaker than the commonly used Lipschitz condition. Further, we relax the growth conditions on \(g(\cdot )\) used in [22]. Our assumptions are weaker and more flexible. Notice also that even if \(F(s,\cdot )\) is Lipschitz, the onesided Lipschitz constant (or function) is in general smaller (even negative) than the Lipschitz one.
Moreover, for the function g appearing in the nonlocal condition, we consider the particular instance \(g(y)=\sum_{i=1}^{k} \alpha _{i} y(t_{i})\), where \(t_{1},t_{2},\ldots , t_{k} \in I\) are arbitrary but fixed, and \(\sum_{i=1}^{k} \vert \alpha_{i} \vert \leq 1\), which covers the remarkable periodic and antiperiodic cases. For this specific case of (1.1), we obtain an existence result under a onesided Lipschitz condition with negative constant on F. Notice that there exist nonLipschitz multifunctions, which are onesided Lipschitz with respect to a negative constant.
To prove the existence of solutions to (1.1), we consider the corresponding local Cauchy problem
for which the existence of the solutions and some properties of the solution set are discussed in [5, 9, 10, 12]. Here we provide estimates on dependence of the solution set of (1.2) on the initial conditions, which will be used to get our existence result for the nonlocal problem.
In the end of the paper, we give two examples to demonstrate the applicability of our results.
Preliminaries
We start this section by giving the notation and the main definitions used further in this paper. Also, we recall some known results, which will be used in the next sections.
For any nonempty closed bounded subset C of X and \(l \in X^{*}\), we denote by \(\sigma (l,C) = \sup_{a \in C} \langle l,a \rangle \) the support function, where \(\langle \cdot , \cdot \rangle \) is the duality pairing. Denote by \(J(x)= \{ z\in X^{*}; \langle z, x\rangle = \vert z \vert ^{2}= \vert x \vert ^{2}\}\) the duality map. Since \(X^{*}\) is uniformly convex, then \(J(\cdot )\) is singlevalued and uniformly continuous on the bounded sets (see, e.g., [3]). We denote by \(\varOmega_{J}(r) = \sup \{ \vert J(x) J(y) \vert ; \vert xy \vert \leq r, x,y\in X \}\) its modulus of continuity. We define \(\operatorname{dist}(x,\mathcal{A})=\inf_{a\in \mathcal{A}} \vert xa \vert \), the distance from \(x\in X\) to \(\mathcal{A}\subset X\). The Hausdorff distance between two subsets \(\mathcal{A}\) and \(\mathcal{B}\) of X is defined by \(D_{H}(\mathcal{A},\mathcal{B})= \max \{\operatorname{ex}(\mathcal{A},\mathcal{B}), \operatorname{ex}(\mathcal{B},\mathcal{A})\}\), where \(\operatorname{ex}(\mathcal{A},\mathcal{B})=\sup_{a\in \mathcal{A}} \operatorname{dist}(a, \mathcal{B})\).
A multimap \(G:X\rightrightarrows X\) is called hemicontinuous (upper hemicontinuous) if for every \(l \in X^{*}\), the support function \(\sigma (l,G(\cdot ))\) is continuous (upper semicontinuous) as a realvalued function. A multifunction \(F:I\times X \rightrightarrows X\) is said to be almost upper hemicontinuous if for every \(\varepsilon > 0\), there exists a compact \(I _{\varepsilon }\subset I\) with \(\operatorname{meas}(I \setminus I_{\varepsilon }) < \varepsilon \) such that \(F _{I_{\varepsilon }\times X}\) is upper hemicontinuous.
Let \(f\in L^{1}(I,X)\). The continuous function \(x(\cdot ):I\rightarrow \overline{D(A)}\) is said to be an (integral) solution of
if \(x(t_{0})=x_{0}\), and for any \(u\in D(A)\), \(v\in A(u)\), and \(t_{0}\leq \tau < t\leq T\),
(see [4, 14, 17]). Here \([x,u]_{+}\) denotes the right directional derivative of the norm calculated at x in the direction u, i.e.,
Concerning the properties of \([\cdot ,\cdot ]_{+}\) see, e.g., [14], Section 1.2. Along this paper we will denote, when it is necessary, the solution \(x(\cdot )\) of (2.1) as \(x(x_{0},f)( \cdot )\). Here, of course, \(f(\cdot )\) is Bochner integrable and \(x_{0}\in \overline{ D(A)}\).
It is well known that (2.1) has a unique solution.
The following properties of solutions of (2.1) will be essentially used in this paper (see, e.g., [14] for the proof).
Theorem 2.1
Let \(x(\cdot )=x(x_{0},f)(\cdot )\) and \(y(\cdot )=y(y_{0},g)(\cdot )\), where \(x_{0},y_{0} \in \overline{ D(A)}\) and \(f,g \in L^{1}(I,X)\). Then
and
for any \(t\in I\).
We need the following theorem, which is a reformulation of [3], Theorem 4.1.
Theorem 2.2
Let \(\omega >0\), and let \(A:D(A)\subset X \rightrightarrows X\) be an mdissipative operator such that \(A+ \omega I\) is dissipative. Then
for every \(x(\cdot )= x(x_{0},f)(\cdot )\), \(y(\cdot )= y(y_{0},g)( \cdot )\) and each \(t_{0}\leq s< t\leq T\).
Definition 2.3
A continuous function \(y(\cdot )\) is said to be:

(i)
a solution of (1.2) if \(y(\cdot )= y(x_{0},f)(\cdot )\) and \(f(s)\in F(s,y(s))\) a.e. on I,

(ii)
an εsolution of (1.2) if \(y(\cdot )= y(x _{0},f)(\cdot )\) and \(f(s)\in F(s,y(s)+ \varepsilon \mathbb{B})\) a.e. on I, where \(\mathbb{B}\) is the open unit ball in X.
We state the standard assumptions of our paper.

(F1)
\(F(\cdot ,\cdot )\) has nonempty convex weakly compact values, and there exists a Lebesgue integrable function \(\lambda ( \cdot )\) such that \(\Vert F(t,x) \Vert :=\max_{v\in F(t,x)}\vert v \vert \leq \lambda (t)(1+\vert x \vert )\) on \(I\times X\).

(F2)
\(F(\cdot ,\cdot )\) is almost upper hemicontinuous, X is not necessarily separable, or X is separable, \(F(\cdot ,x)\) is measurable, and \(F(t,\cdot )\) is hemicontinuous.
Regarding the existence of εsolutions, we recall the following result proved in [10].
Proposition 2.4
Suppose that, for every \(x\in \overline{D(A)}\), \(F(\cdot ,x)\) has a strongly measurable selection. Then, under (F1), for every \(\varepsilon >0\), there exists an εsolution of (1.2).
Proposition 2.5
([10], Proposition 1.5)
Assume (F1). Then for every \(k>0\), there exist a constant \(M>0\) and a Lebesgueintegrable function \(\mu (\cdot )\) such that, if \(y(\cdot )=y(x_{0},f)(\cdot )\) with \(f(s)\in \overline {co}\hbox{ }F(s,y(s)+\mathbb{B})+ \mathbb{B}\), then \(\vert y(s) \vert \leq M\) and \(\Vert F(s,y(s)) \Vert \leq \mu (s)\) on I.
In the end of this section, we give the following lemma, which is a simplified version of [9], Lemma 1.
Lemma 2.6
Let \(G:I\rightrightarrows X\) be a measurable multifunction, integrally bounded with convex weakly compact values. Then for all strongly measurable \(u:I\rightarrow X^{*}\), there exists a strongly measurable \(h(\cdot )\) such that \(h(s)\in G(s)\) and \(\langle u(s),h(s) \rangle = \sigma (u(s),G(s))\) for a.e. \(s\in I\).
An existence result
In this section, we prove the first main result of this paper, namely the existence of solutions for the nonlocal problem (1.1). We add another assumption on F, much weaker than the Lipschitz continuity, called onesided Lipschitz condition.

(F3)
There exists a Lebesgueintegrable function \(L: I\to \mathbb{R}_{+}\) such that, for all \(x,y\in X\) and \(t\in I\),
$$ \sigma \bigl(J(xy),F(t,x)\bigr) \sigma \bigl(J(xy),F(t,y)\bigr)\leq L(t) \vert xy \vert ^{2}. $$
Theorem 3.1
Assume (F1)–(F3). Moreover, assume that g is KLipschitz and
Then the nonlocal problem (1.1) has at least a solution.
To prove the theorem, we need some auxiliary results.
Lemma 3.2
Assume (F1)–(F3) and let \(x_{0},y_{0} \in k \overline{ \mathbb{B}}\cap \overline{D(A)}\), \(k>0\). There exists a constant \(C>0\) such that, for any \(0< \delta < \varepsilon \) and any εsolution \(x(\cdot )\) of (1.2) with \(x(t_{0})=x _{0}\), there exists a δsolution \(y(\cdot )\) of (1.2) with \(y(t_{0})=y_{0}\) such that
for all \(t\in I\).
A version of this lemma was proved in [9], Lemma 2. Our assumptions are however stronger and allow us to obtain a more relevant result to the problems considered here.
Proof
Let \(0<\delta <\varepsilon \), and let \(x(\cdot )\) be an εsolution of (1.2). Then \(x(\cdot )=x(x_{0},f_{x})(\cdot )\) with \(f_{x}(t)\in F(t,x(t)+\varepsilon \mathbb{B})\) a.e. on I. Let \(h(\cdot )\) be such that \(\vert h(t) \vert \leq \varepsilon \) and \(f_{x}(t) \in F(t,x(t)+ h(t))\) for a.e. \(t\in [t_{0},T]\). Suppose that \(y_{\tau }(\cdot )\) is a δsolution of (1.2) defined on some interval \([t_{0},\tau ]\), \(\tau < T\), with \(y_{\tau }(t_{0})=y _{0}\) satisfying the condition of the lemma. Using (F3), we have that, for a.e. \(t\in [t_{0},T]\),
By Lemma 2.6 there exists a (strongly) measurable \(f_{y}( \cdot )\) such that \(f_{y}(t)\in F(t,y_{\tau }(\tau ))\) and
for a.e. \(t\in [t_{0},T]\). Therefore, we get the following inequality
for a.e. \(t\in [t_{0},T]\). There exists \(\theta >0\) such that if \(y(\cdot )\) is an extension of \(y_{\tau }(\cdot )\) on \([\tau , \tau + \theta ]\) such that \(\dot{y}(t)\in A y(t)+f_{y}(t)\), then \(\vert y(t)y(\tau ) \vert \leq \delta \) for \(t\in [\tau ,\tau +\theta ]\), and (3.2) holds with \(y(\tau )\) instead of \(y_{\tau }(\tau )\). We have that
Since \(\vert x(t)y(t)x(t)h(t)+y(\tau ) \vert \leq \varepsilon + \delta \), we get that
On another hand,
Hence
for a.e. \(t\in [\tau , \tau +\theta ]\), where \(c_{1}=4M+\varepsilon \). Using now Theorem 2.1, we get that, for \(t\in [\tau , \tau +\theta ]\),
Therefore \(\vert x(t)y(t) \vert ^{2}\leq r(t)\) on \([t_{0},\tau + \theta ]\), where \(r(\cdot )\) is the maximal solution of
It follows that
for some positive constant \(c_{2}\). Clearly,
on \([t_{0},\tau + \theta ]\). We have used the fact that \(\exp ( 2\int_{t_{0}}^{t}L(s)\,ds ) \) is bounded. Applying now Zorn’s lemma we get the existence of the δsolution \(y(\cdot )\) on the whole interval I. □
Denote by \(\operatorname{Sol}(x_{0})\) the solution set of (1.2), which, under (F1)–(F3), is nonempty (see [9]).
The next result is a variant of the wellknown lemma of Filippov and Plis.
Lemma 3.3
Assume (F1)–(F3). Let \(x_{0},y_{0} \in k \overline{\mathbb{B}} \cap \overline{D(A)}\), \(k>0\), and let \(y(\cdot )\) be an εsolution of (1.2) with \(y(t_{0})=y_{0}\). Then there exists \(c>0\) such that
Proof
Let \(\eta >0\) and choose \(\varepsilon_{n} \downarrow 0^{+}\) with \(\varepsilon_{0}=\varepsilon \) such that \(C\sum_{n=1}^{\infty }(\varOmega_{J}(2\varepsilon_{n})+2\varepsilon_{n})^{1/2}< \eta /2\), where C is the constant given in Lemma 3.2. Applying Lemma 3.2 for \(\varepsilon =\varepsilon_{n}\) and \(\delta = \varepsilon_{n+1}\), for every natural \(n \geq 0\), we obtain a sequence \((x_{n}(\cdot ))\) of \(\varepsilon_{n}\)solutions such that
and, for any natural number n,
for any \(t\in I\). The latter implies that \((x_{n}(\cdot ))\) converges uniformly on I to some function \(z(\cdot )\).
For any positive number n, let \(f_{n}(\cdot )\in L^{1}(I,X)\) with \(f_{n}(t)\in F(t,x_{n}(t)+\varepsilon_{n}\mathbb{B})\) for a.e. \(t \in I\) be such that \(x_{n}(\cdot )\) is a solution of \(\dot{x}(t) \in Ax(t)+ f_{n}(t)\). Due to the growth condition (F1), the sequence \((f_{n}(\cdot ))\) is integrally bounded and hence \(L^{1}\)weakly precompact. Passing to subsequences if necessary, we get that \((f_{n}(\cdot ))\) converges \(L^{1}\)weakly to some function \(f(\cdot )\in L^{1}(I,X)\). By [5], Prop. 1, we get that \(z(\cdot )\) is a solution of (1.2) with \(z(t_{0})=x_{0}\).
Let \(n\in \mathbb{N}\) be such that \(\vert x_{n}(t)z(t) \vert < \eta /2\) for any \(t\in I\). We have that
for any \(t\in I\). Since η is arbitrary, we get the conclusion. □
The following theorem is crucial in the proof of the main result.
Theorem 3.4
Assume (F1)–(F3). For any \(x_{0},y_{0} \in \overline{D(A)}\),
The proof is very similar to the proof of Corollary 1 in [9] and is omitted.
Proof of Theorem 3.1
Consider the map \(\mathcal{S}: C(I,X) \rightrightarrows C(I,X)\), where \(\mathcal{S}(z(\cdot ))\) is the solution set of the Cauchy problem
for any continuous function \(z(\cdot )\). It follows from Theorem 3.4 that, for any \(y(\cdot ), z(\cdot ) \in C(I,X)\),
where \(\alpha = K \exp { ( \int_{t_{0}}^{t} L(s)\,ds ) }< 1\). Consequently, the map \(\mathcal{S}\) is a setvalued contraction with closed values. Thus, there exists a fixed point \(x(\cdot )\in \mathcal{S}(x(\cdot ))\). Clearly, this fixed point \(x(\cdot )\) is a solution of (1.1). □
A multipoint problem
Our target now is to investigate inclusion (1.1) with a particular choice of the function g. More precisely, we consider the nonlocal problem
where \(t_{0}< t_{1}<\cdots < t_{k}\leq T\) are arbitrary but fixed, and \(\alpha_{i} \in \mathbb{R}\) with \(\sum_{i=1}^{k} \vert \alpha_{i} \vert = \kappa \leq 1\).
Clearly, we can apply Theorem 3.1 to this problem in the case where \(\kappa < 1\). However, this theorem is not applicable for \(\kappa = 1\), since, in this case, (3.1) does not hold. We mention that the case \(\kappa =1\) includes periodic and antiperiodic boundary conditions, that is, \(y(t_{0})= \pm y(T)\).
We further provide an existence result the problem (4.1) that covers also the case \(\kappa =1\). To this aim, we assume the following stronger form of condition (F3).
 (F3′):

There exists a positive constant m such that, for all \(x,y\in X\) and \(t \in I\),
$$ \sigma \bigl(J(xy),F(t,x)\bigr) \sigma \bigl(J(xy),F(t,y)\bigr)\leq m\vert xy \vert ^{2}. $$
Theorem 4.1
Under (F1), (F2), and (F3′), system (4.1) has at least a solution.
To prove this theorem, we need the following lemma, which is used implicitly in [9] when the righthand side is autonomous (see the proof of Theorem 4 therein).
Lemma 4.2
Assume (F1), (F2), and (F3′). Then for every \(\tau \in (t _{0},T)\) there exists a constant \(\bar{\alpha }= \bar{\alpha }(\tau ) \in (0,1)\) such that, for every solution \(x(\cdot )\) of (1.2) with initial condition \(x_{0}\in \overline{D(A)}\) and every \(z_{0}\in \overline{D(A)}\), there exists a solution \(z(\cdot )\) of (1.2) with \(z(t_{0})=z_{0}\) such that
for every \(\tau \leq t\leq T\).
Proof
To use Theorem 2.2, we define \(\bar{A}= AmI\) and \(H(t,x)= F(t,x)+ mx\). Clearly, \(\bar{A}+mI\) is mdissipative, and \(H(t,\cdot )\) is onesided Lipschitz with the constant 0. System (1.2) can be rewritten as
However, we do not want to change the notation and assume that \(A+mI\) is mdissipative and \(F(t,\cdot )\) is onesided Lipschitz with the constant 0.
Let \(x_{0},z_{0}\in \overline{D(A)}\), \(x_{0}\neq z_{0}\), and let \(x(\cdot )=x(x_{0},f_{x})(\cdot )\) with \(f_{x}(s)\in F(s,x(s))\) a.e. on I.
We define the multifunction
It is easy to show that \(G(\cdot ,u)\) has a strongly measurable selection. Then, by Proposition 2.4, for every \(\delta > 0\), there exists a δsolution \(z(\cdot )\) of
Then \(z(\cdot )\) is a solution of \(\dot{z}(t)\in Az(t)+ f_{z}(t)\) for some function \(f_{z}(\cdot )\in L^{1}(I,X)\) with \(f_{z}(t)\in G(t,z(t)+h(t))\) a.e. on I, where \(\vert h(t) \vert \leq \delta \). It follows that
Then we have that
It is well known that \(\langle J(u),v\rangle = \vert u \vert [u,v]_{+}\). Hence, for \(\vert x(s) z(s) \vert > 0\), we have
Let \(t \in I\) be fixed. Then, either \(\vert x(t) z(t) \vert \leq \frac{1}{2}\vert x_{0} z_{0} \vert \), or
where \(\nu (\delta )= \frac{4\varOmega_{J}(\delta )}{\vert x_{0}z_{0} \vert }\). Denote \(N(t)=\int_{t_{0}}^{t} \mu (s)\,ds\).
The set \(B= \{ t\in (t_{0},T); \vert x(t) z(t) \vert > \frac{1}{2} \vert x_{0}z_{0} \vert \}\) is open, and hence it is a countable union of pairwise disjoin open intervals, that is, \(B= \bigcup_{i=1}^{\infty }(a_{i}, b _{i})\), where \(a_{1}= t_{0}\). Applying now Theorem 2.2, we obtain that
for \(t\in (a_{1},b_{1})\) and
for \(t \in (a_{i},b_{i})\), \(i>1\).
Since \(\lim_{\delta \to 0}\varOmega_{J}(\delta )=0\), for δ small enough, \(\nu ( \delta )N(T) < \frac{1}{4}\vert x_{0}z_{0} \vert \). Therefore, we get that \(\vert x(t) z(t) \vert \leq \frac{3}{4}\vert x_{0}z_{0} \vert \) for every \(t\geq b_{1}\). Let \(\tau \in (t_{0},T)\). If \(\tau \geq b_{1}\), then we are done. If \(\tau < b_{1}\), then we will use estimate (4.3). We can choose δ so small that \(\nu ( \delta ) N(T)\leq \frac{1 e^{m(\tau t_{0})}}{2}\vert x_{0}z_{0} \vert \). Consequently, \(\vert x(t) z(t) \vert \leq \frac{1+ e^{m(\tau t_{0})}}{2}\vert x_{0}z_{0} \vert \) for every \(t\in [\tau ,b_{1})\). Hence, we have proved that we can choose δ so small that \(\vert x(t) z(t) \vert \leq \gamma \vert x_{0}z_{0} \vert \) for all \(t \geq \tau \), where \(\gamma <1\) does not depend on \(\vert x_{0}z_{0} \vert \).
The latter, together with the lemma of Filippov–Plis [9], Lemma 2, finishes the proof. □
Note that in [9], Lemma 2, we assumed that A generates an equicontinuous semigroup. This fact, however, is not used in the proof there.
Now we are ready to prove the second main result of this paper.
Proof of Theorem 4.1
We will use the successive approximations method. We start with a point \(x_{0}\in \overline{D(A)}\) and let \(y^{0}(\cdot )\) be a solution of the local problem
For the existence of such a solution, see, for example, [9]. Consider now the problem
Let \(\bar{\alpha }= \bar{\alpha }(t_{1})\) given by Lemma 4.2. Furthermore, there exists a solution \(y^{1}(\cdot )\) of (4.5) such that
for all \(t\geq t_{1}\).
We continue by applying Lemma 4.2 and define a sequence \((y^{n}(\cdot ))\) such that, for every positive number n, \(y^{n+1}(\cdot )\) is a solution of
and
for every \(t \geq t_{1}\). It follows that \(\vert y^{n+1}(t) y^{n}(t) \vert \leq \bar{\alpha }\Vert y^{n}(\cdot )y^{n1}(\cdot ) \Vert _{C(I,X)}\) for every \(t\geq t_{1}\).
Thus, the sequence \(( y^{n}(\cdot ))\) converges uniformly to some continuous function \(y(\cdot )\). The latter, together with \(y^{n+1}(t_{0})= \sum_{i=1}^{k} \alpha_{i} y^{n}(t_{i})\), shows that \(y(\cdot )\) is the required solution. □
Remark 4.3
Using more carefully the estimations, we can prove the conclusion of Theorem 4.1 when \(\kappa >1\) and
Examples
In this section we give two examples to apply the abstract results to partial differential inclusions.
The first one, inspired by [13], Section 5, illustrates the applicability of Theorem 3.1.
Example 5.1
Let \(\varOmega \subset \mathbb{R}^{n}\) be a domain with smooth boundary ∂Ω. We consider the following boundary value problem:
Here \(\varphi :\mathbb{R} \rightarrow \mathbb{R}\) is a proper lower semicontinuous convex function with \(\varphi (0)=0\), \(\psi : \mathbb{R} \rightarrow \mathbb{R}\) is a convex continuous function with \(0\leq \psi (t)\leq C(1+t^{2})\), \(t \in \mathbb{R}\), for some constant \(C> 0\), \(G(t,u)= [f_{1}(t,u),f_{2}(t,u)]\) with \(f_{i}:[0,T]\times \mathbb{R} \rightarrow \mathbb{R}\), \(i=1,2\), and \(h:[0,T]\times \varOmega \times \varOmega \times \mathbb{R} \rightarrow \mathbb{R}\) is a given function.
Let \(X= L^{2}(\varOmega )\). Following [13], we define
Then Φ and Ψ are proper lower semicontinuous convex functions with the domains \(D(\varPhi )=\{v\in L^{2}(\varOmega ); \varphi \circ v \in L^{1}(\varOmega )\}\) and \(D(\varPsi )=H^{1}(\varOmega )\). Moreover, \(f\in \partial \varPhi (v)\) if and only if \(v,f\in L^{2}(\varOmega ), f(x) \in \partial \varphi (v(x))\) for a.e. \(x\in \varOmega \), and \(g\in \partial \varPsi (v)\) if and only if \(\Delta v=g\) in \(L^{2}(\varOmega )\) and \(\frac{\partial v}{\partial n}+ \partial \psi (v) \ni 0\) in \(L^{2}( \partial \varOmega )\) (see [18], Examples 2.B and 2.E, p. 163–164). Further, \(\partial \varPhi +\partial \varPsi \) is mdissipative and equal to \(\partial (\varPhi + \varPsi )\) (see [18], Example 2.F, p. 167).
Then problem (5.1) can be rewritten in the abstract form (1.1) with the operator \(A = \partial (\varPhi + \varPsi )\), the multifunction \(F:[0,T]\times L^{2}(\varOmega ) \rightrightarrows L^{2}( \varOmega )\) given by
and
for \(u\in L^{2}(\varOmega )\) and \(x\in \varOmega \). It is known that A generates an equicontinuous (but not compact) semigroup on \(L^{2}( \varOmega )\) (see, e.g., [13]).
We suppose that the following hypotheses are satisfied.

(F)
The functions \(f_{i}\), \(i=1,2\), satisfy the following conditions:

(1)
\(f_{1}(t,u)\leq f_{2}(t,u)\) for every \((t,u)\in [0,T] \times \mathbb{R}\);

(2)
\(f_{1}(\cdot ,\cdot )\) is almost lower semicontinuous, and \(f_{2}(\cdot ,\cdot )\) is almost upper semicontinuous;

(3)
there exists two positive Lebesgueintegrable functions \(a(\cdot )\) and \(b(\cdot )\) such that \(\vert f_{i}(t,u) \vert \leq a(t)\vert u \vert + b(t)\) on \([0,T]\times \mathbb{R}\) for \(i=1,2\);

(4)
\(f_{i}(t,u)= f'_{i}(t,u)+ f''_{i}(t,u)\), where \(f'_{i}(t,\cdot )\) is Lipschitz continuous with respect to a Lebesgueintegrable function \(L(\cdot )\), and \(f''_{i}(t,\cdot )\) are decreasing for \(i= 1,2\).

(1)

(H)
The function h satisfies the following conditions:

(1)
there exist a function \(H(\cdot )\in L^{2}(\varOmega , \mathbb{R}_{+})\) and a positive Lebesgueintegrable function \(\nu (\cdot )\) such that \(\vert h(t,x,\lambda ,r) \vert \leq \nu (t)H(\lambda )\) for all \((t,x,\lambda ,r)\in [0,T] \times \varOmega \times \varOmega \times \mathbb{R}\);

(2)
\(h(t,x,\lambda ,r)\) is measurable in \((t,x,\lambda )\) for all \(r\in \mathbb{R}\);

(3)
\(\vert h(t,x,\lambda ,u)h(t,x,\lambda ,v) \vert \leq \frac{K}{T \mu (\varOmega )}\vert uv \vert \) for all \((t,x,\lambda ,u), (t,x,\lambda ,v) \in [0,T] \times \varOmega \times \varOmega \times \mathbb{R}\).

(1)
If hypothesis (F) holds, then it is easy to prove that the multifunction \(F(\cdot ,\cdot )\) satisfies (F1)–(F3). Due to hypothesis (H), the function \(g(\cdot )\) is well defined, and
for all \(u_{1},u_{2}\in C([0,T];L^{2}(\varOmega ))\). Applying Theorem 3.1, we get the following result.
Theorem 5.2
Assume that (F) and (H) hold. If
then the nonlocal problem (5.1) has at least one solution.
In the second example, we will use Theorem 4.1.
Example 5.3
Let Ω, φ, and ψ be as in the previous example, and let \(G: [0,T]\times \mathbb{R}^{2}\rightrightarrows \mathbb{R}^{2}\) be a given multifunction. We consider the following system:
Here \(B = \partial (\varPhi + \varPsi ) \) with Φ and Ψ as in the first example.
Let \(X= L^{2}(\varOmega )\times H^{1}(0,T)\) with the norm \(\vert (u,v) \vert _{X}= \sqrt{\vert u \vert _{ L^{2}(\varOmega )}^{2}+ \vert v \vert _{H^{1}(0,T)} ^{2}}\). Problem (5.2)–(5.3) can be rewritten in the abstract form (4.1) with the mdissipative operator A=\left(\begin{array}{c}B\\ 0\end{array}\right) and the multifunction \(F:[0,T]\times X\rightrightarrows X\) given by
We suppose that the multifunction G satisfies the following conditions:

(G1)
there exist \(a(\cdot ), b(\cdot )\in L^{1}(0,T)\) such that \(\Vert G(t,z) \Vert \leq a(t)+ b(t)\vert z \vert \) for all \((t,z)\in [0,T]\times X\);

(G2)
G is almost upper semicontinuous with nonempty closed convex values;

(G3)
\(G(t,\cdot )\) is onesided Lipschitz with negative constant.
Under these hypotheses, it is easy to prove that (F1), (F2), and (F3′) hold. Then, due to Theorem 4.1, we obtain the following result.
Theorem 5.4
Under assumptions (G1)–(G3), the nonlocal problem (5.2)–(5.3) has at least one solution.
Concluding remarks
In this paper, we investigate the nonlocal problem (1.1) and prove two existence results.
The first one extends Theorem 4.1 of [22] in several directions. We recall that, in [22], the authors established an existence result for the nonlocal differential inclusion (1.1) assuming that X is separable with uniformly convex dual, \(F(\cdot ,x)\) is measurable, \(F(t, \cdot )\) is Lipschitz with the Lipschitz function \(p(\cdot ) \in L^{1}(I,\mathbb{R}_{+})\), and
where K is the Lipschitz constant of \(g(\cdot )\). Our condition (3.1) is weaker than (6.1), as can be seen from [1], Lemma 2.7. In fact, this condition (3.1) was used in [1] to prove an existence result for the nonlocal problem (1.1) in general Banach spaces under the assumption that \(F(t,\cdot )\) is Lipschitz continuous. Clearly, the onesided Lipschitz condition assumed in this paper is much weaker than the Lipschitz one, and, moreover, if \(F(t,\cdot )\) is \(p(t)\) Lipschitz, then it is \(L(t)\) onesided Lipschitz with \(L(t) \leq p(t)\). We further give two simple examples of maps that are onesided Lipschitz but not Lipschitz. We also refer the reader to [11], where the advantages of the onesided Lipschitz condition are shown.
Example 6.1
Let X be a Hilbert space. We define the map
Clearly, \(f(\cdot )\) is continuous and onesided Lipschitz with the constant 0, but it is not Lipschitz.
Another example is in \(X=L^{3}(\varOmega )\), where \(\varOmega \subset \mathbb{R}^{n} \) is a bounded domain. The dual space is \(X^{*}=L^{3/2}(\varOmega )\), and the duality map is
for a.e. \(\omega \in \varOmega \) and for all \(x\in L^{3}(\varOmega ) \). The map \(F: L^{3}(\varOmega ) \rightrightarrows L^{3}(\varOmega )\) given by
is upper semicontinuous at 0 and onesided Lipschitz with the constant −1, but it is not Lipschitz, and even discontinuous at 0.
The second main result of this paper is devoted to the socalled multipoint problem. Note that this problem cannot be studied under the assumptions of Theorem 3.1. Such a kind of problems is studied in the literature under compactnesstype assumptions or under stronger assumptions on the righthand side. We refer the reader to [6]. Another approach is assuming that \(F(t,\cdot )\) is mLipschitz, A is mdissipative, and, moreover, \(A+ \lambda I\) is dissipative with \(m< \lambda \). We can see that our assumptions are more clear than the assumptions in [6] (although their results are applicable in more general Banach spaces).
References
Ahmed, R., Donchev, T., Lazu, A.I.: Nonlocal mdissipative evolution inclusions in general Banach spaces. Mediterr. J. Math. 14, Article ID 215 (2017). https://doi.org/10.1007/s0000901710165
Aizicovici, S., Staicu, V.: Multivalued evolution equations with nonlocal initial conditions in Banach spaces. Nonlinear Differ. Equ. Appl. 14, 361–376 (2007)
Barbu, V.: Nonlinear Differential Equations of Monotone Types in Banach Spaces. Springer, New York (2010)
Bénilan, P.: Solutions intégrales d’équations d’évolution dans un espace de Banach. C. R. Acad. Sci. Paris, Ser. I 274, 47–50 (1972)
Bothe, D.: Multivalued perturbations of maccretive differential inclusions. Isr. J. Math. 108, 109–138 (1998)
Burlică, M., Necula, M., Roşu, D., Vrabie, I.I.: Delay Differential Evolutions Subjected to Nonlocal Initial Conditions. Monographs and Research Notes in Mathematics. CRC Press, New York (2016)
Cârjă, O., Necula, M., Vrabie, I.I.: Viability, Invariance and Applications. Elsevier, Amsterdam (2007)
Chen, D., Wang, R., Zhou, Y.: Nonlinear evolution inclusions. Topological characterizations of the solution sets and applications. J. Funct. Anal. 265, 2039–2073 (2013)
Din, Q., Donchev, T., Kolev, D.: Filippov–Pliss lemma and mdissipative differential inclusions. J. Glob. Optim. 56, 1707–1717 (2013)
Donchev, T.: Multivalued perturbations of mdissipative differential inclusions in uniformly convex spaces. N.Z. J. Math. 31, 19–32 (2002)
Donchev, T., Farkhi, E.: Stability and Euler approximation of onesided Lipschitz differential inclusions. SIAM J. Control 36, 780–796 (1998)
Hu, S., Papageorgiou, N.: Handbook of Multivalued Analysis. Volume II. Applications. Kluwer, Dordrecht (2000)
Ke, T.: Cauchy problems for functional evolution inclusions involving accretive operators. Electron. J. Qual. Theory Differ. Equ. 2013, Aryicle ID 75 (2013)
Lakshmikantham, V., Leela, S.: Nonlinear Differential Equations in Abstract Spaces. Pergamon, Oxford (1981)
Necula, M., Vrabie, I.I.: Nonlinear delay evolution inclusions with general nonlocal initial conditions. Ann. Acad. Rom. Sci. Ser. Math. Appl. 7, 67–97 (2015)
Paicu, A., Vrabie, I.I.: A clas of nonlinear evolution equations subjected to nonlocal initial conditions. Nonlinear Anal. 72, 4091–4100 (2010)
Roubiček, T.: Nonlinear Partial Differential Equations with Applications. Birkhäuser, Basel (2005)
Showalter, R.: Monotone Operators in Banach Space and Nonlinear Partial Differential Equations. Math. Surv. Monographs, vol. 49. Am. Math. Soc., Providence (1997)
Vrabie, I.I.: Existence in the large for nonlinear delay evolution inclusion with nonlocal initial conditions. Appl. Math. Lett. 24, 1363–1391 (2012)
Vrabie, I.I.: Global solutions for nonlinear delay evolution inclusions with nonlocal initial conditions. SetValued Anal. 20, 477–497 (2012)
Xue, X.: Semilinear nonlocal differential equations with measure of noncompactness in Banach spaces. J. Nanjing Univ. Math. Biq. 24, 264–276 (2007). https://doi.org/10.1016/j.na.2008.03.046
Zhu, L., Hiang, Q., Li, G.: Existence and asymptotic properties of solutions of nonlinear multivalued differential inclusions with nonlocal conditions. J. Math. Anal. Appl. 390, 523–534 (2012)
Acknowledgements
Not applicable.
Availability of data and materials
Please contact author for data requests.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
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
Bilal, S., Cârjă, O., Donchev, T. et al. Nonlocal evolution inclusions under weak conditions. Adv Differ Equ 2018, 399 (2018). https://doi.org/10.1186/s1366201818586
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201818586
MSC
 34B15
 34A60
 35R70
Keywords
 mdissipative evolution inclusions
 Nonlocal initial conditions
 Onesided Lipschitz condition