Abstract
In this paper we prove the existence of mild solutions for a problem governed by a semilinear non-autonomous second order differential inclusion where a stabilization of the solution is expected due to the control of the reaction term. In order to obtain our existence theorem, first we study a more general problem with a differential inclusion which involves a perturbation guided by an operator \(N :I \rightarrow C(C(I;X);X)\), where X is a Banach space. Finally we show an illustrative example of application of our results to a problem involving a wave equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The goal of this work is to consider theoretical mathematical models governed by differential inclusions which adapt themselves to study controllability problems in medicine, in life sciences or in other real phenomena. In particular, in this paper we prove the existence of mild solutions for the following nonlocal abstract problem for a semilinear non-autonomous second order differential inclusion
being
where it happens that the reaction term stabilizes itself at large values over R of the system states. With regard to differential equations or differential inclusions subject to general nonlocal initial conditions, we mention Byszewski’s pioneering work [2]. In this topic, many results were obtained subsequently for first and second order differential equations/inclusions (see, for example, García-Falset [8], García-Falset and Reich [9] for first order equations; Aizicovici and Staicu [1], Paicu and Vrabie [18] for first order differential inclusions; Henríquez et al. [11] for second order differential equations and Cardinali and Gentili [3] for second order differential inclusions). The motivation of these studies lies in the fact that problems with nonlocal conditions represent mathematical models for the evolution of various phenomena: nonlocal pharmacokinetics, nonlocal neural networks, nonlocal pollution, nonlocal combustion (see McKibben [16], Sect. 10.2).
Comparing this work to above-mentioned papers, the novelty is that the differential semilinear inclusion governing (NLP) problem presents a nonlinear perturbation term which has an effect of stabilization on the solution. In our opinion these studies can be important in order to investigate, for example, the dynamics of a desease under drug treatment or the bacterial persistance under the effect of an antibiotic therapy or to prove that a vaccine is a good candidate for immunotherapy. Let us recall that in medicine an impressive body of mathematical modeling research has been a subject of rapid development in these last years. We mention, for example, the mathematical model of drug therapy for chronic myeloid leukemia (CML) introduced in [20], or the hematopoietic system presented by Fokas et al. in [7] or, more recently the ODE-based model of CML treatment proposed by Moore and Li in [17].
The paper is divided into six sections. In Sect. 2 we consider a more abstract problem where the differential inclusion involves a perturbation guided by an operator \(N :I \rightarrow C(C(I;X);X)\)
and we introduce the concept of fundamental system and the definition of mild solution for a nonlocal problem. Next in Sect. 3 we list some properties of the solution multioperator in order to obtain the existence Theorem 3.5, which extends in a broad sense a recent theorem obtained by Henríquez et al. [11] for second order differential equations. We get the existence result through Martelli fixed point theorem of [15], by using the techniques for non-autonomous second order differential equations/inclusions developed by Kozak in [14], by Fattorini in [6] and by Cardinali–Gentili in [3].
Then, as consequence of Theorem 3.5, in Sect. 4 we are able to deduce the existence of mild solutions for the mentioned nonlocal problem (NLP) (see Theorem 4.1).
As application of our abstract result presented in Sect. 3, in Sect. 5 we obtain the controllability of a non-autonomous Cauchy problem guided by a wave equation, where the perturbation is subject to an opportune operator N.
Finally, Appendix contains some background material intended to make the paper self-contained.
2 Problem Setting
We consider the following nonlocal problem in a real Banach space X
where \(\{A(t)\}_{t \in I}\) is a family of bounded linear operators \(A(t) :D(A) \rightarrow X\), where D(A), independent on \(t \in I\), is a subspace dense in X, generating a fundamental system \(\{S(t,s)\}_{(t,s) \in I \times I}\), F is a multimap and \(N :I \rightarrow C(C(I;X);X)\) is a map.
The concept of fundamental system, introduced by Kozak in [14], is recently used by Henríquez et al. [11] and by Cardinali, Gentili in [3].
In most of works, for every \(t \in I\) the linear operator \(A(t) :D(A) \rightarrow X\) is also closed (see [10, 11, 14]), but we leave out this property on A(t), since it is not necessary in order to obtain only the existence of mild solutions.
Definition 2.1
A family \(\{S(t,s)\}_{(t,s) \in I \times I}\), where \(S(t,s) :X \rightarrow X\) is a bounded linear operator, is called fundamental system (or evolution system) generated by the family \(\{A(t)\}_{t \in I}\) if
-
(S1)
\(\text {for each} \ x \in X, \ \text {the function} \ S(.,.)x :I \times I \rightarrow X \ \text {is of class} \ C^1 \ \text {and}\)
-
(a)
\(\text {for each} \ t \in I, \ S(t,t)x=0, \ \forall \ x \in X;\)
-
(b)
\(\text {for each} \ t,s \in I \ \text {and for each} \ x \in X,\) \(\quad \frac{\partial S}{\partial t} (t,s)|_{t=s}x=x \ \text {and} \ \frac{\partial S}{\partial s}(t,\) \(s) |_{t=s} x=-x;\)
-
(a)
-
(S2)
\(\text {for all} \ t, s \in I, \ \text {if} \ x \in D(A), \ \text {then} \ S(t,s)x \in D(A) \ \text {and the map}\) \(\quad \ S(.,.)x :I \times I \rightarrow X \ \text {is of class} \ C^2. \ \text {Moreover}\)
-
(a)
\(\frac{\partial ^2 S}{\partial t^2}(t,s)x=A(t)S(t,s)x, \ \forall \ (t,s) \in I \times I, \ \forall \ x \in D(A);\)
-
(b)
\(\frac{\partial ^2 S}{\partial s^2}(t,s)x=S(t,s)A(s)x, \ \forall \ (t,s) \in I \times I, \ \forall \ x \in D(A);\)
-
(c)
\(\frac{\partial ^2 S}{\partial s \partial t}(t,s)|_{t=s}x=0, \ \forall \ (t,s) \in I \times I, \ \forall \ x \in D(A);\)
-
(a)
-
(S3)
\(\text {for all} \ t,s\in I, \ \text {if} \ x \in D(A), \ \text {then} \ \frac{\partial S}{\partial s}(t,s)x \in D(A).\) \(\quad \text {Moreover, there } \text {exist} \frac{\partial ^3 S}{\partial t^2 \partial s}(t,s)x \ \text {and} \ \frac{\partial ^3 S}{\partial s^2 \partial t}(t,s)x \ \text {such that}\)
-
(a)
\(\frac{\partial ^3 S}{\partial t^2 \partial s}(t,s)x=A(t)\frac{\partial S}{\partial s}(t,s)x, \ \forall \ (t,s) \in I \times I, \ \forall \ x \in D(A);\)
-
(b)
\(\frac{\partial ^3 S}{\partial s^2 \partial t}(t,s)x= \frac{\partial S}{\partial t}(t,s)A(s)x, \ \forall \ (t,s) \in I \times I, \ \forall \ x \in D(A);\) \(\quad \text {and,} \text {for all} \ x \in D(A), \ \text {the function} \ (t,s) \rightarrow A(t)\frac{\partial S}{\partial s}(t,s)x \ \text {is continuous} \text {on} \ I \times I.\)
-
(a)
As in [11], a map \(S :I \times I \rightarrow {\mathcal {L}}(X)\), where \({\mathcal {L}}(X)\) denotes the space of all bounded linear operators in X with the norm \(\Vert . \Vert _{{\mathcal {L}}(X)}\), is said to be a fundamental operator if \(\{S(t,s)\}_{(t,s) \in I \times I}\) is a fundamental system. Moreover, for each \((t,s) \in I \times I\), we consider the operator
and the family of linear operators \(\{C(t,s)\}_{(t,s) \in I \times I}\).
Now we recall that by using Banach–Steinhaus Theorem there exist two constants \(K, K_1>0\) such that (see [11])
Further, if we assume that the fundamental system \(\{S(t,s)\}_{(t,s) \in I \times I}\) has also the following property
-
(S4)
\(\forall \ x \in X, \ \ \frac{\partial ^2 S}{\partial t \partial s}(.,.)x \ \text {is continuous on} \ I \times I,\)
we can claim that the family \(\{C(t,s)\}_{(t,s) \in I \times I}\) satisfies
-
(P4)
\(\exists \ K_2>0 : \Vert C(t_2,s)-C(t_1,s) \Vert _{{\mathcal {L}}(X)} \le K_2 |t_1-t_2|, \ \forall \ t_1, t_2, s \in I.\)
For the sake of completeness we recall the fundamental Cauchy operator \(G_S :L^1(I;X) \rightarrow C(I;X)\), introduced in [3] as
and some its properties (see [3], Theorem 3.2 and Remark 3.3)
- \((G_S1)\):
-
\(\Vert G_Sf(t)-G_Sg(t) \Vert _X \le KT \int \nolimits _0^t \Vert f(s)-g(s) \Vert _X \, ds, \ t \in I, \, f,g \in L^1(I;X);\) \(\quad \text {where} \ KT \ \text {is the constant presented in} \ (P2);\)
- \((G_S1)'\):
-
\(\Vert G_Sf-G_Sg \Vert _{\infty } \le KT \Vert f-g \Vert _1, \ \forall \ f,g \in L^1(I;X)\)
- \((G_S2)\):
-
\(\text {for any compact} \ H \subset X \ \text {and sequence} \ (f_n)_n, f_n \in L^1(I;X),\) \( \text {such that} \{f_n(t)\}_n \subset H, \ \text {for a.e.} \ t \in I, \ \text {the weak convergence} \ f_n \rightharpoonup {\bar{f}}\) \( \text {implies} \text {the convergence} \ G_Sf_n \rightarrow G_S {\bar{f}} \ \text {in} \ C(I;X)\).
In line with the definition of mild solution for the nonlocal problem presented in [11] for a non-autonomous second order equation, we introduce the following notion (see (2.1)).
Definition 2.2
A continuous function \(u :I \rightarrow X\) is said to be a mild solution for \((N\text {-}NLP)\) problem if
where \(f \in S_{F,N}^1(u)=\{f \in L^1(I;X): \ f(t) \in F(t,N(t)(u)), \ a.e. \ t \in I\}\).
3 Existence Result Under Perturbation with an Operator N
3.1 The Multioperator \(S_{F,N}^1\)
First, we state the well-position of the superposition operator \(S_{F,N}^1\).
Proposition 3.1
Let X be a Banach space, I be the closed interval [0, T] and
\(F :I \times X \rightarrow {\displaystyle {{\mathcal {P}}}_k(X)}\) be a multimap which satisfies following hypotheses:
- (F1):
-
\(\text {for every} \ x \in X, \ F(.,x) \ \text {has a strongly measurable selection};\)
- (F2):
-
\(\text {for a.e.} \ t \in I, \ F(t,.) \ \text {is upper semicontinuous on} \ X.\)
Let \(N :I \rightarrow C(C(I;X);X)\) be a map such that
- (N1):
-
\(\ \ \text {for every} \ u \in C(I;X), \ N(.)(u) \ \text {is strongly measurable}; \)
- (N2):
-
\(\ \ \text {for every} \ u \in C(I;X), \ N(.)(u) \ \text {is bounded};\)
- (FN):
-
\(\text {there exist} \ \alpha \in L_+^{1}(I) \ \text {and a non-decreasing map} \ \psi :{\mathbb {R}}^{+} \rightarrow {\mathbb {R}}^{+} \ \text {such that}\)
$$\begin{aligned} \Vert F(t,N(t)(u)) \Vert \le \alpha (t) \psi ( \Vert N(t)(u) \Vert _X),\ a.e. \ t \in I, \ \forall \ u \in C(I;X). \end{aligned}$$
Then the multimap \(S_{F,N}^{1} :C(I;X) \rightarrow {\displaystyle {{\mathcal {P}}}(L^{1}(I;X))}\) given by
is well-defined.
Proof
We show that the multimap \(S_{F,N}^1\) assumes non empty values. First of all, fixed \(u \in C(I;X)\), we define the following function \(q_{u} :I \rightarrow X\), where
and by (N1) we say that \(q_u\) is strongly measurable. Moreover, since the multimap F has compact values and it satisfies (F1) and (F2), by applying Theorem 1.3.5 of [13] there exists a strongly measurable selection \(f_u :I \rightarrow X\) of the multimap \(F(.,q_u(.))\). Further by (FN) and by taking into account the boundedness of N(.)(u) (see (N2)), we have
where it is easy to see that \(m_{u} \in L_{+}^{1}(I)\). Hence \(f_u \in L^1(I;X)\), therefore \(S_{F,N}^1(u) \ne \emptyset \) and so \(S_{F,N}^1\) is well-defined. \(\square \)
Remark 3.2
According to Kuratowski–Ryll–Nardzewski Theorem, if X is a separable Banach space the property
is sufficient to have (F1) satisfied.
Let us note that in [4], sufficient conditions are given to obtain (F1) without the separability of the Banach space X.
Then we show some properties for the multioperator \(S_{F,N}^1\).
Proposition 3.3
Let X be a Banach space, \(I=[0,T]\), \(F :I \times X \rightarrow {\displaystyle {{\mathcal {P}}}_{kc}(X)}\) and \(N :I \rightarrow C(C(I;X);X)\) be two maps satisfying all hypotheses of Proposition 3.1. If we consider the sequences \((u_n)_n, \ u_n \in C(I;X) \ \text {and} \ (f_n)_n\), \(f_n \in S_{F,N}^1(u_n)\), \(n \in {\mathbb {N}}\), such that \(u_n \rightarrow {\bar{u}} \ \text {and} \ f_n \rightharpoonup {\bar{f}}\). Then \({\bar{f}} \in S_{F,N}^1({\bar{u}})\).
Proof
Let us fix sequences \((u_n)_n, \ u_n \in C(I;X), \ \text {and} \ (f_n)_n, \ f_n \in S_{F,N}^1(u_n)\), such that
According to Mazur’s Theorem we have the existence of a double sequence of nonnegative numbers \((\alpha _{n,k})_{n,k}\) such that
- (I):
-
\(\forall \ n \in {\mathbb {N}}, \ \exists \ k_0(n) \in {\mathbb {N}} \ \text {such that} \ \alpha _{n,k}=0, \ \forall \ k \ge k_0(n)\);
- (II):
-
\(\sum \limits _{k=n}^\infty \alpha _{n,k} =1, \ \forall \ n \in {\mathbb {N}}\);
- (III):
-
the following sequence \((\tilde{f_n})_n\), where \(\tilde{f_n}\) is defined by
$$\begin{aligned} \tilde{f_n}(t) = \sum _{k=n}^\infty \alpha _{n,k} f_k(t), \ \forall \ t \in I, \end{aligned}$$converges to \({\bar{f}} \ \text {in the normed space} \ L^1(I;X)\). Passing if necessary to a subsequence, we can assume that
$$\begin{aligned} (\tilde{f_n})_n \ \text {converges to} \ {\bar{f}} \ \text {a.e. on} \ I. \end{aligned}$$(3.2)
Now, there exists \({\widehat{N}} \subset I, \ \mu ({\widehat{N}})=0\), such that for every \(t \in I \setminus {\widehat{N}}\), we have (see \((F2) \ \text {and} \ 3.2\)):
- \((p_1)\):
-
\(F(t,.) \ \text {is upper semicontinuous at} \ N(t)({\bar{u}});\)
- \((p_2)\):
-
\(f_n(t) \in F(t,N(t)(u_n)), \ \forall \ n \in {\mathbb {N}};\)
- \((p_3)\):
-
\((\tilde{f_n}(t))_n \ \text {converges to} \ {\bar{f}}(t),\)
where \({\bar{u}} \ \text {and} \ {\bar{f}}\) are presented in (3.1).
The upper semicontinuity of F(t, .) at \(N(t)({\bar{u}}) \in X\) (see \((p_1)\)) and the continuity of N(t)(.) at \({\bar{u}} \in C(I;X)\) imply, for every \(\epsilon >0\), the existence of \(W_\epsilon (F(t,N(t)({\bar{u}})))\), an \(\epsilon \)-neighborhood of the set \(F(t,N(t)({\bar{u}}))\), and of \({\bar{n}}={\bar{n}}(\epsilon ,t,{\bar{u}}) \in {\mathbb {N}}\) such that
Next, by \((p_2)\) we can write
Then the convexity of the \(\epsilon \)-neighborhood \(W_\epsilon (F(t,N(t)({\bar{u}})))\) and (3.3) imply that
is true. Hence by \((p_3)\) we have
Now, by the arbitrariness of \(\epsilon >0\) and by recalling that the set \(F(t,N(t)({\bar{u}}))\) is closed, we obtain
Finally, since (3.4) is true a.e. on I and that \({\bar{f}} \in L^1(I;X)\), we conclude that \({\bar{f}} \in S_{F,N}^1({\bar{u}})\). \(\square \)
3.2 The Solution Multioperator
Now, in order to establish some properties of the solution multioperator, we assume the following property on the family \(\{A(t)\}_{t \in I}\):
\((A)'\) \(\{A(t)\}_{t \in I}\) is a family of bounded linear operators, defined in a subspace D(A) dense in X and taking values in X such that, for each \(x \in D(A)\), the function \(t \rightarrow A(t)x\) is continuous on I and generating a fundamental system \(\{S(t,s)\}_{(t,s) \in I \times I}\) where, for each \((t,s) \in I \times I, \ S(t,s)\) is compact (i.e. it is continuous and it maps bounded sets into relatively compact sets).
Proposition 3.4
Let X be a separable Banach space, \(I=[0,T]\), \(\{A(t)\}_{t \in I}\) be a family with property \((A)'\).
Let \(F :I \times X \rightarrow {\displaystyle {{\mathcal {P}}}_{kc}(X)}\) be a map which satisfies hypotheses (F1) and (F2) of Proposition 3.1 and the following property:
Let \(N :I \rightarrow C(C(I;X);X)\) be a map which has properties (N1) and (FN) of Proposition 3.1 and the following
- \((N2)'\):
-
for every bounded \(W \subset C(I;X)\), the set \(\{N(t)(u): t \in I, u \in W\}\) is bounded.
Let \(g, h :C(I;X) \rightarrow X\) be two functions which satisfy following properties:
- (gh1):
-
\(g, h \ \text {are compact};\)
- (gh2):
-
\(g, h \ \text {are bounded}.\)
Then the solution multioperator \(\Gamma :C(I;X) \rightarrow {\displaystyle {{\mathcal {P}}}(C(I;X))}\) defined as
has nonempty closed convex values. Moreover \(\Gamma \) is totally bounded and upper semicontinuous.
Proof
First, for all \(u \in C(I;X)\), Proposition 3.1 implies that there exists \(f \in S_{F,N}^1(u)\). Now, the function \(v :I \rightarrow X\), where
is well-defined, since for every \(t \in I\), the map S(t, .)f(.) is B-integrable on [0, t]. Indeed, put \(p_t :[0,t] \times X \rightarrow X\), where \(p_t(s,x)=S(t,s)x\), for every \((s,x) \in [0,t] \times X\), property (S1) of the fundamental system implies that the map \(p_t(.,f(.))=S(t,.)f(.)\) is strongly measurable (see [13], Theorem 1.3.5) and by (P2) it is also B-integrable on [0, t]. Moreover v is also continuous on I, so \(v \in \Gamma (u)\), i.e. \(\Gamma (u) \ne \emptyset \). Finally \(\Gamma \) takes convex values thanks to the convexity of the values of F.
From now on we proceed by steps.
Step 1: The solution multioperator \(\Gamma \) has closed graph (therefore \(\Gamma \) has also closed values).
Let \((u_n)_n\) be a sequence in C(I; X) such that \(u_n \rightarrow u^*\) in C(I; X) and \((v_n)_n\) be a sequence in \(C(I;X), \ v_n \in \Gamma (u_n), \ \forall \ n \in {\mathbb {N}}\), with \(v_n \rightarrow v^*\) in C(I; X). We show that \(v^* \in \Gamma (u^*)\).
Since for every \(n \in {\mathbb {N}}, \ v_n \in \Gamma (u_n)\), there exists \(f_n \in S_{F,N}^1(u_n)\) such that
We will prove that there exists \(f^* \in S_{F,N}^1(u^*)\) such that
Fixed \(t \in I\), since \(C(t,0), S(t,0) \in {\mathcal {L}}(X)\) and g, h are continuous in \(u^*\), it follows that for \(n \rightarrow \infty \) the following convergences
are true. Now we deduce that the set \(\{f_n\}_n\) is integrably bounded. Indeed, since
is bounded, hypothesis \((N2)'\) implies that the set \(\{N(t)(u): \ t \in I, \ u \in W\}\) is also bounded. Then, by using (FN), we have
where by \((N2)'\) the constant P is not depending on t. Therefore \(\{f_n\}_n\) is integrably bounded.
Furthermore, let us show that the set \(\{f_n(t)\}_n\) is relatively compact in X for a.e. \(t \in I\).
Indeed, by using (F3) and the monotonicity of the Hausdorff MNC \(\eta \), for a.e. \(t \in I\), being the set \(\{N(t)(u_n)\}_n \in {\mathcal {P}}_b(X)\), according to \((N2)'\) we estimate
Since the map \(N(t) \in C(C(I;X);X)\), the compactness of W (see (3.8)) implies that also N(t)(W) is compact. Hence by (3.9) we have
therefore \(\eta (\{f_n(t)\}_n)=0\), i.e. the set \(\{f_n(t)\}_n\) is relatively compact in X.
Now, being the sequence \((f_n)_n\) semicompact, we can use Proposition 4.2.1 of [13] to conclude that the set \(\{f_n\}_n\) is weakly compact in \(L^1(I;X)\), so w.l.o.g. there exists \(f^* \in L^1(I;X)\) such that \(f_n \rightharpoonup f^*\) in \(L^1(I;X)\).
Hence, since the fundamental Cauchy operator \(G_S\) satisfies the mentioned properties \((G_S1)' \ \text {and} \ (G_S2)\), we are in a position to apply Theorem 5.1.1 of [13] and we deduce
Consequently, by passing to the limit in (3.5), properties (3.6, (3.7) and (3.10)) imply the following
and, by recalling that \(v_n \rightarrow v^{*} \ \text {in} \ C(I;X)\), the uniqueness of the limit algorithm guarantees that
Finally, according to Proposition 3.3 we have that \(f^* \in S_{F,N}^1(u^*)\). Hence we can conclude that \(v^* \in \Gamma (u^*)\), therefore \(\Gamma \) has closed graph.
Step 2: \(\Gamma \) is totally bounded.
We fix a bounded subset \(\Omega \) of C(I; X).
Step 2a: First we show that \(\Gamma (\Omega )\) is equicontinuous on I.
To prove this, fixed \(v \in \Gamma (\Omega )\), let be \(u_v \in \Omega \) such that \(v \in \Gamma (u_v)\), and \(f \in S_{F;N}^1(u_v)\). By using (P4), (P3), (gh2), (P2), (FN) and \((N2)'\), let us note that, for every \(t_1, \ t_2 \in I\), w.l.o.g. \(t_1 \le t_2\), we have
where \(G, \ H, \ P_{\Omega }\) and C are respectively the positive constants so defined:
Obviously this inequality also holds if \(t_1>t_2\).
So the set \(\Gamma (\Omega )\) is equilipschitzian and therefore it is also equicontinuous on I.
Step 2b: Next we prove that \(\Gamma (\Omega )(t)\) is relatively compact in X, for every \(t \in I\).
To this end, we consider the set
Our first goal is to show that hypotheses of Theorem 5.23 of [12] are satisfied in order to prove the relative compactness of the set
for every \(t \in I\).
Being X a separable Banach space, the space \(L^1(I;X)\) is separable too. Hence the closed set \(\overline{S_{\Omega }}^{L^1}\) is separable. Therefore there exists a countable set \(\{f_n\}_n \subset S_{\Omega }\) such that
In a preliminary way, let us define the multimap \(G :I \rightarrow {\displaystyle {{\mathcal {P}}}(X)}\) in the following way
Now, we obtain that G is measurable. By the completeness and the separability of the Banach space X, it is enough to prove that (see [12], Proposition 2.3) there exists a countable set E of measurable selectors of G such that
To this aim, we define the set of functions
where Q is the countable set of non negative rational sequences so defined
Clearly, the countability of Q implies that the set E is countable too. Moreover, let us note that every \(\gamma \in E\) is a measurable selector of G (see (3.13)).
Now, fixed \(t \in I\), we prove that (3.14) holds.
By (3.15) and (3.13) obviously we can write
To get the other inclusion it is sufficient to prove that
Let us fix \(p \in co \{f_n(t): n \in {\mathbb {N}} \}\), i.e. \(p=\sum _{n=1}^{+ \infty } \alpha _n f_n(t)\), where \(\alpha _n \in [0,1]\), \(\sum _{n=1}^{+ \infty } \alpha _n=1\) and there exists \(k \in {\mathbb {N}}\) such that \(\alpha _n=0, \ n>k\).
Obviously we have that there exist k sequences \((q_m^1)_m,\ldots , (q_m^k)_m, q_m^i \in [0,1] \cap Q, \ i=1,..., k\) and \(m \in {\mathbb {N}}\), converging respectively to \(\alpha _1,\ldots , \alpha _k\).
So \(p=\lim \nolimits _{m \rightarrow +\infty }(\sum \nolimits _{i=1}^k q_m^if_i(t)) \in \overline{E(t)}\). Therefore (3.16) is true.
Then, being (3.14) proved, we can conclude that the multimap G is measurable.
Next we show that G is integrably bounded.
First of all, if \(u_n \in \Omega \) is such that \(f_n \in S_{F,N}^1(u_n)\), for every \(n \in {\mathbb {N}}\), from (3.13), by recalling hypotheses (FN) and \((N2)'\), for every \(n \in {\mathbb {N}}\), we can write the following inequality
where \(P_\Omega =\psi (\sup \limits _{\begin{array}{c} t \in I \\ u \in \Omega \end{array}} \Vert N(t)(u) \Vert _X)\in {\mathbb {R}}_0^+\). So we can deduce
and being \(\omega _{\Omega } \in L^1_+(I)\), we can conclude that G is integrably bounded.
Now, put \({\widetilde{N}}=\{ \sigma \in [0,t]: \Vert G(\sigma ) \Vert > \omega _{\Omega }(\sigma ) \}\) (see (3.17)), for every \(t \in I\) we consider the multimap \(\Phi _t :[0,t] \rightarrow {\displaystyle {{\mathcal {P}}}(X)}\) so defined
From (3.17) and by taking into account \((A)'\), it is easy to say that, for every \(s \in [0,t]\), the set \(\Phi _t(s)\) is compact and convex.
Moreover, by combining (3.17) with (P2), we have that \(\Phi _t\) is integrably bounded.
Now we shall prove that \(\Phi _t\) is graph measurable.
Again in virtue of the separability of X, it is enough to prove that \(\Phi _t\) is measurable (see [12], Proposition 1.7).
To this aim we define the following multimap:
and we note that the measurability of G implies that \(G^*_t\) is measurable too.
Next, since for every \(s \in [0,t], \ G^*_t(s,.)\) is obviously lower semicontinuous on the separable Banach space X and by applying Proposition 7.17 of [12], we deduce that \(G^*_t\) is (S.D.)-lower semicontinuous.
Now, in a preliminary way, we consider the multimap \(\Phi ^*_t :[0,t] \times X \rightarrow {\displaystyle {{\mathcal {P}}}(X)}\) defined by
and we show that \(\Phi ^*_t\) is (S.D.)-lower semicontinuous.
In fact \(G^*_t\) is (S.D.)-l.s.c. and hence for every \(\epsilon >0\), there exists a closed set \(T_\epsilon \subset [0,t]: \ \mu ([0,t]\setminus T_\epsilon )<\epsilon \) such that the restriction of \(G^*_t\) to \(T_\epsilon \times X\) is lower semicontinuous. So we can deduce that \(\Phi ^*_t\) is l.s.c. on \(T_\epsilon \times X\).
Indeed let us fix \(({\bar{s}},{\bar{x}}) \in T_\epsilon \times X\), a net \(\{(s_\alpha ,x_\alpha )\}_{\alpha \in J}\) such that
and a point \({\bar{y}} \in \Phi ^*_t({\bar{s}},{\bar{x}})\). We can find \({\bar{z}} \in G^*_t({\bar{s}},{\bar{x}})\) such that \({\bar{y}}=S(t,{\bar{s}}){\bar{z}}\) (see (3.19)). Then since \(G^*_t\) is l.s.c. at \(({\bar{s}},{\bar{x}})\), from Proposition 2.6 of [12] there exists a net \((z_\alpha )_{\alpha \in J}, \ z_\alpha \in G^*_t(s_\alpha ,x_\alpha ), \ \alpha \in J\), such that
Next, since this estimate is true
by \((A)'\) and (3.20), we can conclude that
Then, according to Proposition 2.6 of [12], \(\Phi ^*_t\) is l.s.c. on \(T_\epsilon \times X\).
Further by Proposition 2.38 of [12] we deduce that also the closed multimap \(\overline{\Phi ^*_t}\) is (S.D.)-l.s.c. .
Moreover fixed \(s \in [0,t]\), being \(\overline{\Phi ^*_t(s,.)}=\overline{S(t,s)G(s)}\) constant on X, \(\overline{\Phi ^*_t(s,.)}\) is also l.s.c. on the separable Banach space X. Therefore, from Theorem 3.2 of [19] we can say that \(\overline{\Phi ^*_t}\) is \({\mathcal {M}}({\mathbb {R}}) \times {\mathcal {B}}(X)\)-measurable. Therefore it is easy to see that the multimap \(\Phi _t\), defined in (3.18), is measurable too.
Hence we can invoke Proposition 1.7 of [12] in order to say that \(\Phi _t\) is graph measurable.
Finally, by using the proof of Theorem 5.23 of [12] we can get
Now, let us note that the following inclusion
holds.
To this end let us fix \(\int _0^t S(t,s)f(s) \ ds \in H_{\Omega }(t)\) (see (3.11)). By (3.12) we deduce that there exists a subsequence \((f_{n_k})_k\) of \( (f_n)_n\):
Obviously Riesz Theorem implies that (see (3.13))
hence \(f \in S^1_G\). Then we have (see (3.18))
Therefore we can conclude that (3.22) is satisfied and so, by (3.21) we have that the set \(H_{\Omega }(t)\) is relatively compact. Now we note that
Then, by taking into account (gh1) and the continuity of operators C(t, 0) and S(t, 0), we can conclude that the set \(\Gamma (\Omega )(t)\) is relatively compact in X.
So, bearing in mind also the equicontinuity of \(\Gamma (\Omega )\), we have that \(\Gamma (\Omega )\) is relatively compact in C(I; X). Therefore the multimap \(\Gamma \) is totally bounded, hence \(\Gamma \) is also locally compact. Now, by recalling that \(\Gamma \) has closed graph, we can use Proposition 4.1.16 of [5] and deduce that \(\Gamma \) is upper semicontinuous in C(I; X). \(\square \)
3.3 Main Abstract Existence Result
Finally we are in a position to prove the existence at least of a mild solution for the nonlocal problem \((N\text {-}NLP)\).
Theorem 3.5
Let X be a separable Banach space, \(I=[0,T]\), \(\{A(t)\}_{t \in I}\) be a family with property \((A)'\).
Let \(F :I \times X \rightarrow {\displaystyle {{\mathcal {P}}}_{kc}(X)}\) be a map which satisfies \((F1), \ (F2), \ (F3)\) of Proposition 3.4 and \(N :I \rightarrow C(C(I;X);X)\) be a map with properties \((N1), \ (FN)\) of Proposition 3.1 and such that
- \((N2)_s \ \ N\):
-
is bounded.
Moreover let \(g, h :C(I;X) \rightarrow X\) be two functions as in Proposition 3.4.
Then there exists at least one mild solution for the nonlocal problem \((N\text {-}NLP)\).
Proof
We consider the same solution multioperator \(\Gamma \) of Proposition 3.4:
In the setting of our hypotheses we are in a position to use Proposition 3.4 and so we can say that \(\Gamma \) has nonempty closed convex values, it is totally bounded and upper semicontinuous. Now, in order to prove the existence of a fixed point for the multioperator \(\Gamma \), we show that the set
is bounded.
Let us fix \(u \in \Omega \), then there exists \(\lambda >1\) such that \(\lambda u \in \Gamma (u)\) and \(f_u \in S_{F,N}^1(u)\). At this point we observe that, by using \((P2), (FN), (N2)_s\) and (gh2), we obtain
where \(\Vert g \Vert _\infty \le G\), \(\Vert h \Vert _\infty \le H\) and \(\Vert N(t)(u) \Vert _X \le M, \ \forall \ t \in I, \ \forall \ u \in C(I;X)\). Hence we can conclude that the set \(\Omega \) is bounded in C(I; X).
Finally, we are ready to proceed to the application of Theorem 6.1 and we have the existence at least of one fixed point for the solution multioperator \(\Gamma \), i.e. there exists at least one mild solution for \((N\text {-}NLP)\) problem. \(\square \)
Remark 3.6
Let us note that \((N\text {-}NLP)\) problem can be rewritten as the following problem
studied in [3], by considering the map \(N :I \rightarrow C(C(I;X);X)\) so defined
Unfortunately we note that Theorem 3.5 does not allow to prove the existence of mild solutions for \((NLP)^*\) problem because N does not satisfy \((N2)_s\) of Theorem 3.5.
Remark 3.7
Clearly if g and h are two constant functions, our Theorem 3.5 is an existence proposition for a Cauchy problem, where (gh1) and (gh2) obviously hold.
4 Existence Result with a Stabilizing Effect
Now, as a consequence of Theorem 3.5, we are in a position to provide a result for the nonlocal problem (NLP).
Theorem 4.1
Let X be a separable Banach space, \(I=[0,T]\), \(\{A(t)\}_{t \in I}\) be a family which satisfies \((A)'\) and \(R>0\).
Let \(F :I \times X \rightarrow {\displaystyle {{\mathcal {P}}}_{kc}(X)}\) be a map with following hypotheses:
Let \(g, h :C(I;X) \rightarrow X\) be two functions which satisfy following properties:
Then there exists at least one mild solution for the nonlocal problem (NLP).
Proof
First, fixed \(R>0\), we note that we can define the map \(N :I \rightarrow C(C(I;X);X)\) in the following way: for every \(t \in I, \ N(t) :C(I;X) \rightarrow X\) is such that
Next we observe that for every \(u \in C(I;X)\), we have that \(N(.)(u)=u_R(.)\) is continuous on I, so N(.)(u) is also strongly measurable and moreover obviously \(\Vert N(t)(v) \Vert _X \le R, \ \forall \ t \in I \ \text {and} \ \forall \ v \in C(I;X)\). Therefore N satisfies (N1) and \((N2)_s\) of Theorem 3.5. Further, for every \(u \in C(I;X)\), since \(\Vert u_R(t) \Vert _X \le R\), by combining (F4) with (4.1), we have the following
so (FN) holds.
Therefore Theorem 3.5 establishes the existence of at least one mild solution for the nonlocal problem (NLP). \(\square \)
Remark 4.2
Let us observe that it is not possible to compare our Theorem 4.1 with Theorem 4.1 of [3], since two studied problems are different. In fact in (NLP) problem, we have a stabilization of the effect of the perturbation on the mild solution outside the ball \(\overline{B_X(0,R)}\).
5 An Application: Controllability with Stabilizing Effect
In this section we apply the theory developed in Sect. 3 to study the following controllability problem
where \(x_0, x_1 \in {\mathbb {C}}, \ I=[0,T], \ T>0\) and \(f :I \times {\mathbb {C}} \rightarrow {\mathbb {C}}, \ b :I \rightarrow {\mathbb {R}}, \ p :I \rightarrow {\mathbb {C}}\), \(\varphi _1,\varphi _2 :I \rightarrow {\mathbb {C}}\) are suitable functions.
The following application shows a situation in which our Theorem 3.5 works, but Theorem 4.1 of [3] not.
First, as in [11], we will use the identification between functions defined on the quotient group \({\mathbb {T}}={\mathbb {R}}/2\pi {\mathbb {Z}}\) with values in \({\mathbb {C}}\), and \(2\pi \)-periodic functions from \({\mathbb {R}}\) to \({\mathbb {C}}\). In order to model the problem above in an abstract form, we consider the space \(X=L^2({\mathbb {T}};{\mathbb {C}})\), i.e. the space of all functions \(x :{\mathbb {R}} \rightarrow {\mathbb {C}}\), \(2\pi \)-periodic and 2-integrable in \([0,2\pi ]\), endowed with the usual norm \(\Vert . \Vert _2\). Moreover we denote by \(H^1({\mathbb {T}},{\mathbb {C}})\) and by \(H^2({\mathbb {T}};{\mathbb {C}})\) respectively the following subspaces of \(L^2({\mathbb {T}};{\mathbb {C}})\)
where \(x'=\frac{dx}{d\xi }\) and \(x''=\frac{d^2x}{d\xi ^2}\).
Further we consider the operator \(A_0 :D(A_0)=H^2({\mathbb {T}};{\mathbb {C}}) \rightarrow L^2({\mathbb {T}};{\mathbb {C}})\) so defined
and we assume that the operator \(A_0\) is the infinitesimal generator of a strongly continuous cosine family \(\{C_0(t) \}_{t \in {\mathbb {R}}}\), where \(C_0(t) :L^2({\mathbb {T}};{\mathbb {C}}) \rightarrow L^2({\mathbb {T}};{\mathbb {C}})\), for every \(t \in {\mathbb {R}}\) (see references in [11]).
Moreover we fix the function \(P :I \rightarrow {\mathcal {L}}(H^1({\mathbb {T}};{\mathbb {C}});L^2({\mathbb {T}};{\mathbb {C}}))\) defined in this way
where \(b :I \rightarrow {\mathbb {R}}\) is of class \(C^1\) on I.
Now we are in a position to define the family \(\{A(t): \ t \in I\}\) where, for every \(t \in I\), \(A(t) :H^2({\mathbb {T}};{\mathbb {C}}) \rightarrow L^2({\mathbb {T}};{\mathbb {C}})\) is an operator so defined
In Theorem 1.2 of [10], Henríquez has proved that this family generates a fundamental system \(\{S(t,s)\}_{(t,s) \in I \times I}\), which is also compact (see [11], §4).
Moreover, let us consider \(p :I \rightarrow {\mathbb {C}}\) a continuous map, \(\varphi _1,\varphi _2 :I \rightarrow {\mathbb {C}}\) such that
- (\(\varphi \)):
-
\(\varphi _1,\varphi _2 \in L^1(I;{\mathbb {C}})\);
and the map \(f :I \times {\mathbb {C}} \rightarrow {\mathbb {C}}\) having the following properties:
- (f1):
-
\(f(t,x(.)) \in L^2({\mathbb {T}};{\mathbb {C}})\), for every \(t \in I \ \text {and for every} \ x \in L^2({\mathbb {T}};{\mathbb {C}})\);
- (f2):
-
for every \(x \in L^2({\mathbb {T}};{\mathbb {C}})\), the map \(t \rightarrow f(t,x(.))\) is weakly measurable;
- (f3):
-
there exists \(\alpha \in L^1_+(I)\) such that, for every \(k=1,2\), we have
$$\begin{aligned} \Vert f(t,z)-f(t,w) \Vert _{{\mathbb {C}}} \le \alpha (t) \Vert z-w \Vert _{{\mathbb {C}}}, \ \text {for a.e.} \ t \in I \ \text {and for every} \ z,w \in {\mathbb {C}}; \end{aligned}$$(5.5) - (f4):
-
\(f(.,0) \in L^1(I;{\mathbb {C}})\).
In what follows we revise functions \(w, \ u :I \times {\mathbb {R}} \rightarrow {\mathbb {C}}\) such that w(t, .), \(u(t,.) \in L^2({\mathbb {T}};{\mathbb {C}})\), \(\text {for every} \ t \in I\), as two maps \(x, \ v :I \rightarrow L^2({\mathbb {T}},{\mathbb {C}})\) respectively so defined
Now we define the function \({\tilde{f}} :I \times L^2({\mathbb {T}};{\mathbb {C}}) \rightarrow L^2({\mathbb {T}};{\mathbb {C}})\) such that
and by hypothesis (f1) we have that \({\tilde{f}}\) is correctly defined.
Next we consider the multimap \({\widetilde{U}} :I \rightarrow {\displaystyle {{\mathcal {P}}}(L^2({\mathbb {T}};{\mathbb {C}})})\) so defined
where, for every \(t \in I\) and \(i=1,2, \ {\tilde{\varphi }}_i(t) :{\mathbb {R}} \rightarrow {\mathbb {C}}\) is given by
Since obviously for every \(t \in I\), \({\tilde{\varphi }}_1(t), {\tilde{\varphi }}_2(t) \in L^2({\mathbb {T}};{\mathbb {C}})\), the multimap \({\widetilde{U}}\) is well posed.
Moreover we define the multimap \(F :I \times L^2({\mathbb {T}},{\mathbb {C}}) \rightarrow {\displaystyle {{\mathcal {P}}}(L^2({\mathbb {T}};{\mathbb {C}})})\) in the following way (see (5.6, (5.7)))
Finally we introduce the function \(N :I \rightarrow C(C(I;L^2({\mathbb {T}};{\mathbb {C}}));L^2({\mathbb {T}};{\mathbb {C}}))\) such that, for every \(t \in I\) and for every \(h \in C(I;L^2({\mathbb {T}};{\mathbb {C}}))\), the map N(t)(h) is so defined
for every \(\xi \in {\mathbb {R}}\).
Clearly, for every \(t \in I\) and \(h \in C(I;L^2({\mathbb {T}};{\mathbb {C}}))\), being the map N(t)(h) constant on \({\mathbb {T}}\), we have that \(N(t)(h) \in L^2({\mathbb {T}},{\mathbb {C}})\) and therefore N is also correctly defined.
So, by recalling (5.8, (5.2), (5.3), (5.4), (5.11), (5.9)) and (5.12), problem (5.1) can be rewritten in the abstract form
where \({\hat{x}}_0, \ {\hat{x}}_1 :{\mathbb {R}} \rightarrow {\mathbb {C}}\) are the functions of \(L^2({\mathbb {T}};{\mathbb {C}})\) respectively defined \({\hat{x}}_0(\xi )=x_0\), \({\hat{x}}_1(\xi )=x_1\), for every \(\xi \in {\mathbb {R}}\).
At this point let us show that we can apply the Cauchy version of our Theorem 3.5 (see Remark 3.7) .
By recalling the continuity of the function \(p :I \rightarrow {\mathbb {C}}\), after some standard calculations, we can say that, for every \(h \in C(I;L^2({\mathbb {T}};{\mathbb {C}}))\), the map N(.)(h) is even lipschitzian, so N satisfies (N1). Moreover the continuity of p implies that N has also property \((N2)_s\).
Now we prove that (FN) holds. Indeed, from the definition of the norm in \(L^2({\mathbb {T}};{\mathbb {C}})\) and by bearing in mind hypotheses \((f3), (f4) \ \text {and} \ (\varphi )\), we can write (see (5.10, (5.8) and (5.12)))
where the function \({\hat{\alpha }} :I \rightarrow {\mathbb {R}}^+\) belongs to \(L^1_+(I)\), since \(\alpha , \Vert f(.,0) \Vert _{{\mathbb {C}}} \in L^1_+(I)\) and \(P=\max \nolimits _{s \in [0,T]} \Vert p(s) \Vert _{{\mathbb {C}}}\). Therefore we can conclude that (FN) condition is satisfied (with function \(\psi :{\mathbb {R}}^+ \rightarrow {\mathbb {R}}^+\) identically egual to 1).
Moreover, having \({\widetilde{U}}\) compact and convex values, we can say that also F takes compact and convex values.
On the other hand F satisfies hypothesis (F1), i.e. for every \(x \in L^2({\mathbb {T}};{\mathbb {C}})\), F(., x) has a strongly measurable selection. Indeed, from (f2) and by the separability of \(L^2({\mathbb {T}};{\mathbb {C}})\), we have that, for every \(x \in L^2({\mathbb {T}};{\mathbb {C}}), \ {\tilde{f}}(.,x)\) is strongly measurable (see [5], Corollary 3.10.5). Then by the strong measurability of \(\varphi _i\), we get that \({\tilde{\varphi }}_i\) is also strongly measurable. Further obviously it appears that \({\tilde{\varphi }}_i(t) \in {\widetilde{U}}(t)\), for every \(t \in I\) (see (5.9)). So we can conclude that \({\tilde{f}}(.,x)+{\tilde{\varphi }}_i\) is a strongly measurable selection of F(., x) and hence (F1) holds.
Now we prove that F satisfies hypotheses (F2) and (F3). To this end, let us consider a set \(V \subset I\) having null measure and such that inequalities in (f3) are true.
Firstly, in order to have (F2), fixed \(t \in I \setminus V\), we define following multimaps
and
Now we show that \({\tilde{f}}(t,.)\) is continuous for every \({\bar{x}} \in L^2({\mathbb {T}};{\mathbb {C}})\). Fixed \((x_n)_n\) a sequence in \(L^2({\mathbb {T}};{\mathbb {C}})\) such that \(x_n \rightarrow {\bar{x}}\) in \(L^2({\mathbb {T}};{\mathbb {C}})\), by applying (f3) we obtain
so \({\tilde{f}}(t,x_n)\) converges to \({\tilde{f}}(t,{\bar{x}})\) in \(L^2({\mathbb {T}};{\mathbb {C}})\). Therefore \({\tilde{f}}(t,.)\) is continuous in \(L^2({\mathbb {T}};{\mathbb {C}})\), so the multimap \(G_t\) is upper semicontinuous in \(L^2({\mathbb {T}};{\mathbb {C}})\).
Moreover also \(H_t\) is upper semicontinuous in \(L^2({\mathbb {T}};{\mathbb {C}})\), being a constant multimap. Since \(G_t\) and \(H_t\) have also compact values, we are in the hypotheses of Proposition 2.59 of [12], so we can conclude that the multimap \(F(t,.)=G_t+H_t\) is u.s.c. in \(L^2({\mathbb {T}};{\mathbb {C}})\). Therefore, for almost every \(t \in I, \ F(t,.)\) is u.s.c. in \(L^2({\mathbb {T}};{\mathbb {C}})\), i.e. (F2) holds.
Secondly, we show (F3).
Fixed \(t \in I \setminus V\), we consider the multimap
First of all, by using the Hausdorff metric \({\mathcal {H}}\) and by recalling (f3) and (5.8), for every \(x,y_1,y_2 \in L^2({\mathbb {T}};{\mathbb {C}})\), it is easy to check that
Hence the multimap \(B_t(x,.)\) is \(\alpha (t)\)-Lipschitz, for every \(x \in L^2({\mathbb {T}};{\mathbb {C}})\).
Further, fixed a bounded set \(\Omega \subset L^2({\mathbb {T}};{\mathbb {C}})\) and \(y \in L^2({\mathbb {T}};{\mathbb {C}})\), we have that \(B_t(\Omega \times \{y\})\) is compact. So, in virtue of Proposition 2.2.2 of [13] the multimap
is \((\alpha (t),\eta ,\eta )\)-bounded in \({\displaystyle {{\mathcal {P}}}_b(L^2({\mathbb {T}};{\mathbb {C}}))} \bigl (\)where \(\eta \) is the MNC in \(L^2({\mathbb {T}};{\mathbb {C}}) \bigr )\), i.e.
Hence by (5.11, (5.14) and (5.15)) we can say that
So we can conclude that F satisfies hypothesis (F3) (with \(m(t) \doteq \alpha (t)\), \(\forall \ t \in I\)).
By means of the arguments above presented, we are in a position to apply the Cauchy version of our Theorem 3.5. Then we can deduce that there exists a continuous function \({\hat{x}} :I \rightarrow L^2({\mathbb {T}};{\mathbb {C}})\) that is a mild solution for (5.13) problem, i.e.
where \({\hat{q}} \in S_{F,N}^1({\hat{x}})=\{f \in L^1(I;L^2({\mathbb {T}},{\mathbb {C}})): f(t) \in F(t,N(t)({\hat{x}})) \ \text {a.e.} \ t \in I\}\).
Therefore, since \({\hat{q}}(t) \in F(t,N(t)({\hat{x}}))\), a.e. \(t \in I\), there exists \(v_{{\hat{x}}}(t) \in {\widetilde{U}}(t)\) such that
which is strongly measurable, being \({\hat{q}}\) and \({\tilde{f}}(.,N(.)({\hat{x}}))\) strongly measurable (see [13], Theorem 1.3.5).
At this point, by considering functions \(w :I \times {\mathbb {R}} \rightarrow {\mathbb {C}}\) and \(u :I \times {\mathbb {R}} \rightarrow {\mathbb {C}}\) respectively so defined
we can conclude that \(\{w,u\}\) is an admissible mild-pair for (5.1) problem.
Finally we are able to enunciate the following result.
Theorem 5.1
In the framework above described, there exists an admissible mild-pair for (5.1) problem, i.e. functions \(w \ \text {and} \ u\) satisfying following properties:
- (w1):
-
for every \(t \in I, \ w(t,.) \ \text {is} \ 2\pi \text {-periodic and} \ 2\text {-integrable on} \ [0,2\pi ]\);
- (w2):
-
for every \(\xi \in {\mathbb {R}}, \ w(.,\xi )\) is continuous on I;
- (w3):
-
\(w(0,\xi )=x_0\), for every \(\xi \in {\mathbb {R}}\);
- (w4):
-
for every \(\xi \in {\mathbb {R}}\) such that \(\ w(.,\xi )\) is derivable in 0 then \(\frac{\partial w}{\partial t}(0,\xi )=x_1\);
- (u1):
-
for every \(\xi \in {\mathbb {R}}, \ u(.,\xi )\) is strongly measurable and such that \(u(t,\xi ) \in [\varphi _1(t),\varphi _2(t)]\), a.e. \(t \in I\) and for every \(\xi \in {\mathbb {R}}\).
Moreover, they are such that
where \(q :I \times {\mathbb {R}} \rightarrow {\mathbb {C}}\) is so defined
References
Aizicovici, S., Staicu, V.: Multivalued evolution equations with nonlocal initial conditions in Banach spaces. NoDEA Nonlinear Differ. Equ. Appl. 14, 361–376 (2007)
Byszewski, L.: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 162, 494–505 (1991)
Cardinali, T., Gentili, S.: An existence theorem for a non-autonomous second order nonlocal multivalued problem. Stud. Univ. Babes-Bolyai Math. 62, 101–117 (2017)
Cascales, C., Kadets, V., Rodriguez, J.: Measurability and selections of multi-functions in Banach spaces. J. Convex Anal. 17, 229–240 (2010)
Denkowski, Z., Migorski, S., Papageorgiou, N.S.: An Introduction to Nonlinear Analysis. Kluwer Academic Publishers, New York (2003)
Fattorini, H.O.: Second Order Linear Differential Equations in Banach Spaces. North-Holland Publishing Co., Amsterdam (1985)
Fokas, A.S., Keller, J.B., Clarkson, B.D.: A mathematical model of granulocytopoiesis and chronic myelogenous leukemia. Cancer 51, 2084–2091 (1991)
García-Falset, J.: Existence results and asymptotic behaviour for nonlocal abstact Cauchy problems. J. Math. Anal. Appl. 338, 639–652 (2008)
García-Falset, J., Reich, S.: Integral solutions to a class of nonlocal evolution equations. Commun. Contemp. Math. 12, 1032–1054 (2010)
Henríquez, H.R.: Existence of solutions of non-autonomous second order functional differential equations with infinite delay. Nonlinear Anal. 74, 3333–3352 (2011)
Henríquez, H.R., Poblete, V., Pozo, J.C.: Mild solutions of non-autonomous second order problems with nonlocal initial conditions. J. Math. Anal. Appl. 412, 1064–1083 (2014)
Hu, S., Papageorgiou, N.S.: Handbook of Multivalued Analysis. Theory, vol. I. Kluwer Academic Publishers, Dordrecht (1997)
Kamenskii, M., Obukhovskii, V., Zecca, P.: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. De Gruyter Series in Nonlinear Analysis and Applications, vol. 7. Walter de Gruyter, Berlin (2001)
Kozak, M.: A fundamental solution of a second-order differential equation in a Banach space. Univ. Iagel. Acta Math. 32, 275–289 (1995)
Martelli, M.: A Rothe’s type theorem for noncompact acyclic-valued map. Boll. Unione Matemat. Ital. 11, 70–76 (1975)
McKibben, M.: Discovering Evolution Equations with Applications. CRC Applied Mathematics Nonlinear Science Series, Deterministic Models, vol. I. Chapman & Hall, London (2011)
Moore, H., Li, N.K.: A mathematical model of chronic myelogenous leukemia (CML) and T cell interaction. J. Theor. Biol. 227, 513–523 (2004)
Paicu, A., Vrabie, I.I.: A class of nonlinear evolution equations subjected to nonlocal initial conditions. Nonlinear Anal. 72, 4091–4100 (2010)
Tolstonogov, A.: Differential Inclusions in a Banach Space. Kluwer Academic Publishers, Dordrecht (2000)
Vincent, P.C., Cronkite, E.P., Greenberg, M.L., Kirsten, C., Schiffer, L.M., Stryckmans, P.A.: Leukocyte kinetics in chronic myeloid leukemia. I. DNA synthesis time in blood and marrow myelocytes. Blood 33, 843–850 (1969)
Acknowledgements
The research is carried out within the national group GNAMPA of INdAM. The first author is partially supported by the Department of Mathematics and Computer Science of the University of Perugia (Italy) and by the projects “Metodi della Teoria dell’Approssimazione, Analisi Reale, Analisi Nonlineare e loro applicazioni” and “Integrazione, Approssimazione, Analisi Nonlineare e loro Applicazioni”, funded by the 2018 and 2019 basic research fund of the University of Perugia, and by a 2020 GNAMPA-INDAM Project “Processi evolutivi con memoria descrivibili tramite equazioni integro-differenziali”.
Funding
Open access funding provided by Università degli Studi di Perugia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this paper X is a Banach space with the norm \(\Vert . \Vert _X\) and, if \({\mathcal {P}}(X)\) is the family of all non-empty subsets of X, we will use the following notations:
Further, let \(I=[0,T]\) be an interval of the real line endowed with the usual Lebesgue measure \(\mu \).
A function \(f :I \rightarrow X\) is said to be strongly measurable if there exists a sequence \((f_n)_n, \ f_n :I \rightarrow X\), of simple functions which converges to f almost everywhere in I (see [5], Definition 3.10.1 (a)). A function \(f :I \rightarrow X\) is called weakly measurable if for every \(x^* \in X^*\), the \({\mathbb {R}}\)-valued function \(t \rightarrow <x^*,f(t)>\) is measurable (where \(X^*\) is the dual topological space of X) (see [5], Definition 3.10.1 (b)).
Moreover, we denote by C(I; X), the space consisting of all continuous functions from I to X provided with the norm \(\Vert . \Vert _\infty \) of the uniform convergence, by \(L^1(I;X)\) the space of all X-valued Bochner-integrable functions on I with the norm \(\Vert u \Vert _1=\int \nolimits _0^T \Vert u(t) \Vert _X \ dt\) and by \(L^1_+(I)=\{f \in L^1(I;{\mathbb {R}}): \ f(t) \ge 0\), for a.e. \(t \in I\}\).
A countable set \(\{f_n\}_n \subset L^1(I;X)\) is said to be semicompact if (i) \(\{f_n\}_n\) is integrably bounded, i.e. there exists \(\omega \in L^1_+(I)\) such that \(\Vert f_n(t) \Vert \le \omega (t)\), for a.e. \(t \in I\) and for every \(n \in {\mathbb {N}}\); (ii) the set \(\{f_n(t)\}_n\) is relatively compact in X, for a.e. \(t \in I\).
A multimap \(F :I \rightarrow {\displaystyle {{\mathcal {P}}}(X)}\) is measurable if the set
is measurable, for each open subset A of X.
A multimap \(F :I \rightarrow {\mathcal {P}}(X)\) is said to be graph measurable if \(GrF=\{ (t,x) \in I \times X: \ x \in F(t) \} \in \Sigma \times {\mathcal {B}}(X)\), where \(\Sigma \) is the \(\sigma \)-algebra on I and \({\mathcal {B}}(X)\) is the Borel \(\sigma \)-algebra on X.
A multimap \(F :I \rightarrow {\displaystyle {{\mathcal {P}}}_b(X)}\) is said to have a strongly measurable selection if there exists a strongly measurable function \(f :I \rightarrow X\) such that \(f(t) \in F(t), \ \text {for almost everywhere} \ t \in I\).
Furthermore a multimap \(F :X \rightarrow {\displaystyle {{\mathcal {P}}}(X)}\) is called totally bounded if F maps bounded subsets of X into relatively compact sets of X and F is called locally compact if, for every \(x \in X\), there exists a neighbourhood U of the point x such that F(U) is relatively compact in X.
Next the multimap F is called upper semicontinuous (u.s.c.) in \({\bar{x}} \in X\) if, for every open set A of X such that \(F({\bar{x}}) \subset A\), there exists a neighborhood \(U({\bar{x}}): \ F(x) \subset A\), for every \(x \in U({\bar{x}})\) and \(F :X \rightarrow {\mathcal {P}}(X)\) is called lower semicontinuous (l.s.c.) in \({\bar{x}} \in X\) if, for every open set A of X such that \(A \cap F({\bar{x}}) \ne \emptyset \), there exists a neighborhood \(U({\bar{x}}): \ F(x) \cap A \ne \emptyset \), for every \(x \in U({\bar{x}})\).
Finally a multimap \(G :I \times X \rightarrow {\mathcal {P}}(X)\) is said Scorza-Dragoni lower semicontinuous \(\bigl ((S.D.)-l.s.c. \bigr )\) if, for every \(\epsilon >0\), there exists a closed set \(T_\epsilon \subseteq I: \ \mu (I \setminus T_\epsilon ) <\epsilon \) such that \(G|_{T_\epsilon \times X}\) is lower semicontinuous.
Now we enunciate the following well-known fixed point theorem proved by Martelli in [15].
Theorem 6.1
Let X be a separable Banach space and let \(F :X \rightarrow {\displaystyle {{\mathcal {P}}}_{bfc}(X)}\) be a multimap such that
-
(i)
F is totally bounded and upper semicontinuous;
-
(ii)
The set \(\Omega =\{x \in X: \ \exists \ \lambda >1 \ \text {such that} \ \lambda x \in F(x)\}\) is bounded.
Then F has at least a fixed point.
Next, let us denote by \(O_n\) the zero-element of \({\mathbb {R}}^n\) and by the partial ordering given by the standard positive cone \({\mathbb {R}}^n_{0,+} \doteq ({\mathbb {R}}^+_0)^n\), i.e. x y if and only if \(y-x \in {\mathbb {R}}^n_{0,+}\); clearly, \(x \prec y\) means that x y and \(x \ne y\).
Moreover we present the concept of measure of noncompactness in X (see [13], Definition 2.1.1).
Definition 6.2
A function \(\eta :{\displaystyle {{\mathcal {P}}}_b(X)} \rightarrow {\mathbb {R}}^n_{0,+}\) is said to be a measure of noncompactness (MNC, for short) in the Banach space X if, for every \(\Omega \in {\displaystyle {{\mathcal {P}}}_b(X)}\), the following properties are satisfied:
- \((\eta _1)\):
-
\(\eta (\Omega )=0\) if and only if \({\bar{\Omega }}\) is compact;
- \((\eta _2)\):
-
\(\eta ( {\bar{co}}(\Omega ))=\eta (\Omega )\), for all \(\Omega \in {\displaystyle {{\mathcal {P}}}_b(X)}\).
Further, a MNC \(\eta :{\displaystyle {{\mathcal {P}}}_b(X)} \rightarrow {\mathbb {R}}^n_{0,+}\) is said to be
We recall that the Hausdorff measure of noncompactness has the mentioned property.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cardinali, T., De Angelis, E. Non-autonomous Second Order Differential Inclusions with a Stabilizing Effect. Results Math 76, 8 (2021). https://doi.org/10.1007/s00025-020-01305-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-020-01305-1
Keywords
- Semilinear non-autonomous second order differential inclusions
- nonlocal conditions
- fundamental system
- fixed point method
- stabilizing effect