Abstract
We prove a global existence result for bounded solutions to a class of abstract semilinear delay evolution equations with measures subjected to nonlocal initial data of the form
where \(\tau \ge 0\), \(A:D(A)\subseteq X\rightarrow X\) is the infinitesimal generator of a \(C_0\)-semigroup, \(f:\mathbf{R}_+\times \mathcal {R} ([\,-\tau ,0\,];X)\rightarrow X\) is continuous, \(g\in BV_{\mathrm{loc}}(\mathbf{R}_+;X)\), and \(h:\mathcal {R} _b(\mathbf{R}_+;X)\rightarrow \mathcal {R} ([\,-\tau ,0\,];X)\) is nonexpansive.
Similar content being viewed by others
1 Introduction
The goal of this paper is to prove some sufficient conditions for the global existence and boundedness of \(\mathcal {L}^{\infty }\)-solutions for the nonlocal initial problem with measures:
Here \(\tau \ge 0\), A generates a \(C_{0}\)-semigroup of contractions, \(\{S(t):X\rightarrow X;t\ge 0\}\), in a real Banach space X, \(f:\mathbf{R}_+\times \mathcal {R} ([\,-\tau ,0\,];X)\rightarrow X\), \(g\in BV_{\mathrm{loc}}(\mathbf{R}_+;X)\), and \(h:\mathcal {R} _b(\mathbf{R}_+;X)\rightarrow \mathcal {R} ([\,-\tau ,0\,];X)\) is nonexpansive.
If I is an interval, we denote by \(\mathcal {R} (I;X)\) the space of all piecewise continuous functions from I to X, i.e., the space of all functions having only discontinuities of the first kind. Further, we denote by \(\mathcal {R} _b(I;X)\) the space of all bounded functions belonging to \(\mathcal {R} (I;X)\).
We notice that, equipped with the uniform convergence on compact intervals topology, \(\mathcal {R} (I;X)\) is a separated, locally convex space. Moreover, endowed with the sup-norm, \(\mathcal {R} _b(I;X)\) is a real Banach space. If I is a compact interval, each function \(u\in \mathcal {R} _b(I;X)\) is automatically bounded, and thus, the space \(\mathcal {R} _b(I;X)\) coincides with \(\mathcal {R} (I;X)\). If \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) and \(t\in \mathbf{R}_+\), we denote by \(u_t\) the function from \([\,-\tau ,0\,]\) to X, defined by
for each \(s\in [\,-\tau ,0\,]\). Clearly \(u_t\in \mathcal {R} ([\,-\tau ,0\,];X)\) and the mapping \(t\mapsto u_t\) belongs to \(\mathcal {R} (\mathbf{R}_+;\mathcal {R} ([\,-\tau ,0\,];X))\). For fundamental results on delay equations, see Hale [19].
For delay problems subjected to usual local initial conditions, see the book of Hale [19]. See also Mitidieri and Vrabie [20]. In the specific case where \(\tau =0\) and \(h(u):=\xi \), the problem above was studied by Ahmed [1], Amann [2], Grosu [18] and Vrabie [28, 29], Benedetti and Rubbioni [7]. We notice that such kind of equations arise in the study of optimal control problems with state constraints. See Barbu and Precupanu [4]. Problem (1) without delay and subjected to a usual initial condition was studied by Vrabie [28, Theorem 8.1] and [29, Theorem 12.2.2, p. 275]. Some extensions to the case in which g may depend on u as well were obtained later by Grosu [18].
As far as nondelay evolution equations subjected to nonlocal initial conditions are concerned, we mention the pioneering works of Byszewski [13, 14] and Byszewski and Lakshmikantham [15]. More recent results in this topic are due to Benedetti, Loi and Malaguti [5], Benedetti, Malaguti and Taddei [6], Benedetti, Taddei and Väth [8], García-Falset and Reich [17] and Paicu and Vrabie [23]. For delay evolution equations and inclusions with nonlocal conditions, see Burlică and Roşu [10, 11], Necula, Popescu and Vrabie [21], Necula and Vrabie [22], Vrabie [30–33].
The main difficulty occurring in the study of nonlocal initial problems consists in the lack of the semigroup property. More precisely, in this general case, we cannot proceed as in the case of initial local conditions when we prove first a local existence result, and then, under some appropriate hypotheses, by using Zorn’s Lemma or one of its weaker variants as, for instance, the Brezis–Browder Ordering Principle [9], we can obtain noncontinuable or even global solutions. By contrary, in this frame, we are forced to solve the problem of global existence directly. So, one may easily realize why this requires some apparently stronger hypotheses than in the classical case of local initial conditions. We mean here the assumption that A generates a semigroup, \(\{S(t):\overline{D(A)}\rightarrow \overline{D(A)};\ t\ge 0\}\), decaying exponentially to 0 when t tends to \(+\infty \) and dominates f, i.e., \(\ell <\omega \), where \(\ell >0\) is the Lipschitz constant of f with respect to its second argument, while \(\omega >0\) satisfies \(\Vert S(t)\xi \Vert \le e^{-\omega t}\Vert \xi \Vert \) for each \(t>0\) and \(\xi \in \overline{D(A)}\). It is well known that, in the case of initial-value problems, this condition usually ensures the global asymptotic stability of solutions and it is not needed for local or even global existence.
The paper is divided into seven sections. For the sake of clarity, in Sect. 2 we have included some background material on the existence and regularity of \(\mathcal {L}^{\infty }\)-solutions and we recall the main compactness arguments we are going to use later on. In Sect. 3, we state the main result and a consequence referring to the nondelay case which also is new. In Sect. 4, we prove some particular cases referring either to local initial-value problems or even to nonlocal initial-value problems for which the history function is a strict contraction. Section 5 is devoted to an auxiliary global existence, uniqueness and boundedness result. In Sect. 6, we prove our main result, while Sect. 7 presents an application to a delay parabolic problem subjected to nonlocal initial conditions.
2 Preliminaries
For easy reference, we begin by recalling some results established in Vrabie [28] and [29].
Let \(\mathcal {D} [\,0,T\,]\) be the set of all partitions of the interval \([\,0,T\,]\). If \(g:[\,0,T\,]\rightarrow X\), then for each \({\varDelta }\in \mathcal {D} [\,0,T\,]\), \({\varDelta }:0=t_{0}<t_{1}<\cdots <t_{k}=T\), and the number
is called the variation of the function g relative to the partition \({\varDelta }\). If
then g is said to be of bounded variation, and the number
is called the variation of the function g on the interval \([\,0,T\,]\). We denote by \(BV([\,0,T\,];X)\) the space of all functions of bounded variation from \([\,0,T\,]\) to X. Endowed with the norm
for each \(g\in BV([\,0,T\,];X)\), this is a real Banach space. We also denote by \({BV}_{\mathrm{loc}}(\mathbf{R}_+;X)\) the space of all functions \(u:\mathbf{R}_+\rightarrow X\) with \(u\in {BV}([0,T];X)\) for each \(T>0\).
Let \(\{S(t):X\rightarrow X;t\ge 0\}\) be a \(C_{0}\)-semigroup. We say that it is compact if S(t) is a compact operator for each \(t>0\). Basic facts on \(C_{0}\)-semigroups we need in this paper can be found in Pazy [24] and Vrabie [29].
Let \(t\in (0,T\,]\), \({\varDelta }:0=t_{0}<t_{1}<\cdots <t_{k}=t\) and let \(\tau _{i}\in [ t_{i},t_{i+1}]\), for \(i=0,1,\cdots , k-1\). Let us consider the Riemann–Stieltjes sum of \(\tau \rightarrow S(t-\tau )\) over \([\,0,t\,]\) with respect to g, i.e.,
If \({\varDelta }\in \mathcal {D} [\,0,t\,]\), we denote by \(\mu ({\varDelta })=\displaystyle \max _{i=0,1,\dots k-1}(t_{i+1}-t_{i})\).
Theorem 1
If \(\{S(t):X\rightarrow X;t\ge 0\}\) is continuous from \((0,+\infty )\) to \(\mathcal {L}(X)\) in the uniform operator topology, then, for each \(g\in {BV}([\,0,T\,];X)\) and \(t\in (0,T\,]\), the limit
exists in the norm topology of X.
See Vrabie [28, Theorem 2.1] or Vrabie [29, Theorem 9.1.1, p. 208].
For more details on the integral in (2)—called the Riemann–Stieltjes integral of \(s\mapsto S(t-s)\) with respect to g —see Vrabie [29, Chapter 9, pp. 205–222]. A different approach to defining \(\displaystyle \int _0^tS(t-s)\mathrm{d}g(s)\) is due to Amann [2] who considered only the case of analytic \(C_0\)-semigroups.
Next, let \(A:D(A)\subseteq X\rightarrow X\) be the infinitesimal generator of a \(C_{0}\)-semigroup of contractions \(\{S(t):X\rightarrow X;t\ge 0\}\), \(\xi \in X\) and \(g\in {BV}([\,0,T\,];X)\). Let us consider the nonhomogeneous Cauchy problem with measures:
Definition 1
A function \(u:[\,0,T\,]\rightarrow X\) is called an \(\mathcal {L}^{\infty }\) -solution on \([\,0,T\,]\) of the Problem (3) if
for each \(t\in [\,0,T\,]\), where the integral on the left-hand side is defined by (2).
If \(g\in {BV}_{\mathrm{loc}}(\mathbf{R}_+;X)\), the function \(u:\mathbf{R}_+\rightarrow X\) is called an \(\mathcal {L}^{\infty }\) -solution on \(\mathbf{R}_+\) if for each \(T>0\) u is an \(\mathcal {L}^{\infty }\)-solution on \([\,0,T\,]\) of the Problem (3) in the sense specified above.
See Vrabie [28, Definition 2.1].
Theorem 2
(Regularity of \(\mathcal {L}^{\infty }\)-solutions) Let \(A:D(A)\subseteq X\rightarrow X\) be the infinitesimal generator of a \(C_{0}\)-semigroup of contractions \(\{S(t):X\rightarrow X;t\ge 0\}\) which is continuous from \((0,+\infty )\) to \(\mathcal {L}(X)\) in the uniform operator topology. Let \(\xi \in X\), \(g\in {BV}_{\mathrm{loc}}(\mathbf{R}_+;X)\) and let u be the \(\mathcal {L}^{\infty }\)-solution of (3) corresponding to \(\xi \) and g. Then, for each \(t\in \mathbf{R}_+ \) and each \(s\in (0,+\infty )\), we have:
So, in this case, u is continuous from the right (left) at \(t\in \mathbf{R}_+\) if and only if g is continuous from the right (left) at t. In particular, u is continuous at any point at which g is continuous, and thus, u is piecewise continuous on \(\mathbf{R}_+\).
See Vrabie [28, Theorem 3.1] or Vrabie [29, Theorem 9.2.1, p. 210] .
Remark 1
We notice that each \(\mathcal {L}^{\infty }\)-solution u satisfies
for each \(T>0\) and \(t\in [\,0,T\,]\).
Theorem 3
(Tychonoff) Let \(\mathcal {X}\) be a separated locally convex topological vector space and let K be a nonempty, convex and closed subset in \(\mathcal {X}\). If \(Q:K\rightarrow K\) is continuous and Q(K) is relatively compact, then it has at least one fixed point, i.e., there exists \(\xi \in K\) such that \(Q(\xi )=\xi \).
See Tychonoff [25] or Edwards [16, Theorem 3.6.1, 161].
Throughout, for each \(\xi \in X\) and \(f\in L^1(0,T\,;X)\), we will denote \(u:=\mathcal {M}(\xi ,f)\), the mild, or \(\mathcal {L}^{\infty }\)-solution of the problem
i.e., the function \(u:[\,0,T\,]\rightarrow X\), defined by
for each \(t\in [\,0,T\,]\).
A set \({\mathcal F}\subseteq L^1(0,T\,;X)\) is called uniformly integrable if for each \(\varepsilon >0\) there exists \(\delta (\varepsilon )>0\) such that, for each \(E\subseteq [\,0,T\,]\) whose Lebesgue measure satisfies \(\mu (E)\le \delta (\varepsilon )\), we have
uniformly for \(f\in \mathcal {F}\).
Theorem 4
(Baras–Hassan–Veron) Let \(A:D(A)\subseteq X\rightarrow X\) be the generator of a compact \(C_0\)-semigroup, let \(D\subset X\) be a bounded subset, and let \({\mathcal F}\) be a uniformly integrable subset in \(L^1(0,T\,;X)\). Then \(\mathcal {M}(\mathcal {D,F})\) is relatively compact in \(C([\,\delta ,T\,];X)\) for each \(\delta \in (0,T)\). If, in addition, D is relatively compact, then \(\mathcal {M}(\mathcal {D,F})\) is relatively compact even in \(C([\,0,T\,];X)\).
See Baras et al. [3] or Vrabie [29, Theorem 8.4.2, p. 196]. Some extensions of this result to the case in which \(A:D(A)\subseteq X\rightarrow X\) is a nonlinear m-dissipative operator can be found in Vrabie [27, Theorem 2.3.3, p. 47] and Vrabie [26].
3 A global existence theorem
Let X be a real Banach space, \(A:D(A)\subseteq X\rightarrow X\) the infinitesimal generator of a \(C_{0}\)-semigroup \(\{S(t):X\rightarrow X;t\ge 0\}\), let \(\xi \in X\), let \(g\in BV_{\mathrm{loc}}(\mathbf{R}_+;X)\) be a given function, and let \(h:\mathcal {R} _b(\mathbf{R}_+;X)\rightarrow \mathcal {R} ([\,-\tau ,0\,];X)\) be a nonexpansive function. Let us consider the Cauchy problem:
By an \(L^{\infty }\)-solution of the Problem (4), we mean a piecewise continuous function \(u:[\,-\tau ,+\infty )\rightarrow X\) satisfying
Remark 2
One may easily see that an \(\mathcal {L}^{\infty }\)-solution of the Problem (4) is a function \(\widetilde{u}:[\,-\tau ,+\infty )\rightarrow X\),
where, for each \(T>0\), u is an \(\mathcal {L}^{\infty }\)-solution in the sense of Definition 1 of the problem below
where
for each \(t\in [\,0,T\,]\).
For the sake of simplicity, we confine ourselves to the case of \(C_0\)-semigroups of contractions although our results can be extended to general \(C_0\)-semigroups. More precisely, we will use the following general hypotheses:
-
\((H_A)\) \(A:D(A)\subseteq X\rightarrow X\) generates a \(C_0\)-semigroup on X satisfying:
-
\((A_1)\) \(\Vert S(t)\Vert \le e^{-\omega t}\) for each \(t\in \mathbf{R}_+\);
-
\((A_2)\) the semigroup \(\{S(t):X\rightarrow X;t\ge 0\}\) is compact.
-
-
\((H_f)\) \(f:\mathbf{R}_+\times \mathcal {R} ([\,-\tau ,0\,];X)\rightarrow X\) is continuous and satisfies:
-
\((f_1)\) there exist \(\ell >0\) and \(m\ge 0\) such that \(\Vert f(t,u)\Vert \le \ell \Vert u\Vert _{\mathcal {R} ([\,-\tau ,0\,];X)}+m\) for each \(t\in \mathbf{R}_+\) and \(u\in \mathcal {R} ([\,-\tau ,0\,];X)\);
-
\((f_2)\) with \(\ell >0\) given by \((f_1)\), we have
$$\begin{aligned} \Vert f(t,u)-f(t,v)\Vert \le \ell \Vert u-v\Vert _{\mathcal {R} ([\,-\tau ,0\,];X)} \end{aligned}$$for each \(t\in \mathbf{R}_+\) and each \(u,v\in \mathcal {R} ([\,-\tau ,0\,];X)\).
-
-
\((H_g)\) The function \(g\in {BV}_{\mathrm{loc}}(\mathbf{R}_+;X)\), and there exists \(m_1>0\) such that
$$\begin{aligned} \int _0^te^{\omega s}\mathrm{d}\mathrm{Var}\,(g,[\,0,s\,]) \le m_1 \end{aligned}$$for each \(t\in \mathbf{R}_+\).
-
\((H_h)\) The restriction of the function \(h:\mathcal {R} _b(\mathbf{R}_+;X)\rightarrow \mathcal {R} ([\,-\tau ,0\,];X)\) on every bounded subset in \(\mathcal {R} _b(\mathbf{R}_+;X)\) is continuous with respect to the induced locally convex topology of \(\mathcal {R} (\mathbf{R}_+;X)\) to \(\mathcal {R} ([\,-\tau ,0\,];X)\) and there exists \(a>0\) such that
$$\begin{aligned} \Vert h(u)-h(v)\Vert _{\mathcal {R} ([\,-\tau ,0\,];X)}\le \Vert u-v\Vert _{\mathcal {R} _b([\,a,+\infty );X)} \end{aligned}$$for each \(u,v\in \mathcal {R} _b(\mathbf{R}_+;X)\).
-
\((H_c)\) The constants \(\ell \) and \(\omega \) satisfy \(\ell <\omega \).
Remark 3
Let \(\{S(t):X\rightarrow X;t\ge 0\}\) be a \(C_{0}\)-semigroup continuous on \((0,+\infty )\) in the uniform operator topology, satisfying \((A_1)\) in \((H_A)\). Let \(g\in {BV}_{\mathrm{loc}}(\mathbf{R}_+;X)\) be a function satisfying \((H_g)\). Then
for each \(t\in \mathbf{R}_+\). Indeed,
as claimed.
Our main result is:
Theorem 5
Let us assume that \((H_A)\), \((H_f)\), \((H_g)\) \((H_h)\) and \((H_c)\) are satisfied. Then, the Problem (1) has at least one \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\).
As far as the nondelay case is concerned, let us observe first that, for \(\tau =0\), \(\mathcal {R} ([\,-\tau ,0\,];X)\) reduces to X and, for each \(u\in \mathcal {R} _b(\mathbf{R}_+;X)\) and \(t\in \mathbf{R}_+\), \(u_t=u(t)\). So the Problem (4) rewrites as:
So, in this specific case, the hypotheses \((H_f)\) and \((H_h)\) take the form:
-
\((H^{[\,\tau =0\,]}_f)\) \(f:\mathbf{R}_+\times X\rightarrow X\) is continuous and satisfies:
-
\((f^{[\,\tau =0\,]}_1)\) there exist \(\ell >0\) and \(m\ge 0\) such that \(\Vert f(t,u)\Vert \le \ell \Vert u\Vert +m\) for each \(t\in \mathbf{R}_+\) and \(u\in X\);
-
\((f^{[\,\tau =0\,]}_2)\) with \(\ell >0\) given by \((f_1)\), we have
$$\begin{aligned} \Vert f(t,u)-f(t,v)\Vert \le \ell \Vert u-v\Vert \end{aligned}$$for each \(t\in \mathbf{R}_+\) and each \(u,v\in X\).
-
-
\((H^{[\,\tau =0\,]}_h)\) The restriction of the function \(h:\mathcal {R} _b(\mathbf{R}_+;X)\rightarrow X\) is continuous on every bounded subset in \(\mathcal {R} _b(\mathbf{R}_+;X)\) with respect to the induced locally convex topology of \(\mathcal {R} (\mathbf{R}_+;X)\) to X and there exists \(a>0\) such that
$$\begin{aligned} \Vert h(u)-h(v)\Vert \le \Vert u-v\Vert _{\mathcal {R} _b([\,a,+\infty );X)} \end{aligned}$$for each \(u,v\in \mathcal {R} _b(\mathbf{R}_+;X)\).
and from Theorem 5, we deduce
Theorem 6
Let us assume that \((H_A)\), \((H^{[\,\tau =0\,]}_f)\), \((H_g)\) \((H^{[\,\tau =0\,]}_h)\) and \((H_c)\) are satisfied. Then, the Problem (5) has at least one \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b(\mathbf{R}_+;X)\).
Remark 4
We notice that the nonlocal initial condition contains as particular cases:
- (i):
-
The periodic condition \(u(0)=u(T)\) which corresponds to the choice of h as \(h(u):=u(T)\);
- (ii):
-
The anti-periodic condition \(u(0)=-u(T)\) which corresponds to the choice of h as \(h(u):=-u(T)\);
- (iii):
-
The mean condition
$$\begin{aligned} u(0)=\sum _{i=1}^{\infty }\alpha _iu(t_i), \end{aligned}$$where \(0<t_1<t_2<\cdots <t_n<\cdots \) and \(\alpha \in \mathbf{R}\) satisfy
$$\begin{aligned} \sum _{i=1}^{\infty }\alpha _i\le 1, \end{aligned}$$which corresponds to the choice of h as
$$\begin{aligned} h(u):=\sum _{i=1}^{\infty }\alpha _iu(t_i). \end{aligned}$$
A similar remark applies to the general delay case.
4 Preliminary results
For the sake of simplicity, we divide the proof of Theorem 5 into several steps, the first one being the following lemma which is generalization, in the semilinear case, to delay evolutions with measures, of a result in Vrabie [31, Lemma 4.3].
Lemma 1
Let us assume that \((H_A)\), \((H_f)\), \((H_g)\) and \((H_c)\) are satisfied. Then, for each \(\varphi \in \mathcal {R} ([\,-\tau ,0\,];X)\), the problem
has a unique \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\).
Proof
Let \(v\in \mathcal {R} _b([\,-\tau ,+\infty );X)\). Since, by \((A_2)\) of \((H_A)\), the \(C_0\)-semigroup generated by A is compact, it is continuous on \((0,+\infty )\) in the uniform operator topology. So, Theorem 1 applies and we can define the function \(u:\mathbf{R}_+\rightarrow X\) by
for each \(t\in \mathbf{R}_+\). By \((f_1)\) in \((H_f)\), \((H_g)\) and Theorem 2, it follows that the function u belongs to \(\mathcal {R} _b([\,-\tau ,+\infty );X)\).
We will show first that u is bounded. Indeed, if \(t\ge 0\), thanks to \((H_A)\), \((H_f)\), \((H_g)\) and Remark 3, we deduce
and thus
for each \(t\in \mathbf{R}_+\). Therefore, u belongs to \(\mathcal {R} _b([\,-\tau ,+\infty );X)\).
So, the operator
is well defined. Clearly (6) has a unique \(\mathcal {L}^{\infty }\)-solution if and only if the operator Q has a unique fixed point.
Let \(v,w\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) and let us observe that
for each \(t\in \mathbf{R}_+\).
Since
it follows that
So, we get
Consequently, by \((H_c)\), Q is strict contraction on \(\mathcal {R} _b([\,-\tau ,+\infty );X)\), and by Banach’s fixed point theorem, it has a unique fixed point u. The proof is complete. \(\square \)
Theorem 7
Let us assume that \((H_A)\), \((f_1)\) in \((H_f)\), \((H_g)\) and \((H_c)\) are satisfied. Then, for each \(\varphi \in \mathcal {R} ([\,-\tau ,0\,];X)\), the problem
has at least one \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\).
Proof
We define the operator Q by (7), and we observe that (8) has at least one \(\mathcal {L}^{\infty }\)-solution if and only if Q has at least one fixed point.
We will show that, for a suitably chosen \(r>0\), Q maps the closed ball with center 0 and radius r in \(\mathcal {R} _b(\mathbf{R}_+;X)\), denoted by B(0, r), into itself, is continuous and compact in the locally convex topology of \(\mathcal {R} (\mathbf{R}_+;X)\) on both domain and range.
Let \(v\in \mathcal {R} _b([\,-\tau ,+\infty );X)\). By Remark 1, Remark 3, \((A_1)\) in \((H_A)\), \((f_1)\) in \((H_f)\) and \((H_g)\), we conclude that Q(v), defined by (7), satisfies
for each \(t\in \mathbf{R}_+\). Hence, if \(r>0\) and
we get
for each \(t\in \mathbf{R}_+\). Thus
for each \(t\in \mathbf{R}_+\). Next, let us fix \(r>0\) satisfying
which is always possible because, by \((H_c)\), \(\ell <\omega \).
So, if \(r>0\) is as above and \(v\in B(0,r)\), by (9), we get
which shows that Q maps B(0, r) into itself. It is easy to observe that B(0, r) is closed in \(\mathcal {R} ([\,-\tau ,+\infty );X)\) being closed in \(\mathcal {R} _b([\,-\tau ,+\infty );X)\).
We will prove next that Q is continuous from B(0, r) into itself with respect to the topology of \(\mathcal {R} ([\,-\tau ,+\infty );X)\) on both domain and range. To this aim, let \((v_n)_n\) be a sequence in B(0, r) and \(v\in B(0,r)\) with
in \(\mathcal {R} ([\,-\tau ,+\infty );X)\), i.e., uniformly on compact subsets in \([\,-\tau ,+\infty )\). We have
for each \(n\in \mathbf{N}\), each \(p\in \mathbf{N}\) and each \(t\in [\,0,p\,]\). From (10), we conclude that
for each \(s\in \mathbf{R}_+\). Since f is continuous and satisfies \((f_1)\) in \((H_f)\), an appeal to Lebesgue’s dominated convergence theorem shows that
uniformly on \([\,0,p\,]\), for each \(p\in \mathbf{N}\). So, Q is continuous from B(0, r) into itself with respect to the topology of \(\mathcal {R} ([\,-\tau ,+\infty );X)\) on both domain and range.
Finally, we will show that Q(B(0, r)) is relatively compact in \(\mathcal {R} ([\,-\tau ,+\infty );X)\). Let \(p\in \mathbf{N}\) be arbitrary and let us observe that, by \((f_1)\) in \((H_f)\), the set
is uniformly bounded and thus uniformly integrable on \([\,0,p\,]\). As by \((A_2)\) in \((H_A)\), the \(C_0\)-semigroup generated by A is compact, we are in the hypotheses of Baras, Hassan and Veron Theorem 4, wherefrom it follows that, for each \(p\in \mathbf{N}\), the family of functions
is relatively compact in \(C([\,0,p\,];X)\). Consequently, for each \(p\in \mathbf{N}\),
is relatively compact in \({\mathcal {R} }([\,-\tau ,p\,];X)\) or, equivalently, in \(\mathcal {R} ([\,-\tau ,+\infty );X)\). By Tychonoff’s fixed point Theorem 3, it follows that Q has at least one fixed point \(u\in B(0,r)\), which clearly is an \(\mathcal {L}^{\infty }\)-solution of the Problem (8) as claimed. \(\square \)
Theorem 8
Let us assume that \((H_A)\), \((H_f)\), \((H_g)\), \((H_h)\) and \((H_c)\) are satisfied and, in addition, h is a strict contraction. Then the problem
has a unique \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\).
Proof
Let \(v\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) and let us consider the problem
By Lemma 1, the Problem (12) has a unique \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\). So, we can define the operator
defined by
where u is the unique \(\mathcal {L}^{\infty }\)-solution of (12), i.e.,
At this point, let us observe that \(Q(u)=u\) if and only if u is an \(\mathcal {L}^{\infty }\) -solution of the Problem (11). Thus, to complete the proof, it suffices to show that Q has a unique fixed point in \(\mathcal {R} _b([\,-\tau ,+\infty );X)\). To this aim, we will show that Q is a strict contraction of constant \(k\in (0,1)\), where k is the Lipschitz constant of h. Let \(v,w\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) and let us observe that, by \((f_1)\) in \((H_f)\), we have
for each \(t\in \mathbf{R}_+\). We distinguish between (noncomplementary) cases.
Case 1. If there exists \(t_0>0\) such that
then passing to the \(\limsup \) in the last inequality, we obtain
which shows that
Case 2. If there exists \(t_0\in [\,-\tau ,0\,]\) such that
then
and so, by \((H_h)\), we obtain
We notice that if \(t_0=0\) and
then we can pass to the limit directly in the inequality preceding Case 1 to get the same conclusion as above.
Case 3. If
then reasoning as in Case 1, we deduce that
So, Q is a strict contraction and this completes the proof. \(\square \)
5 An auxiliary lemma
We need the following extension of a result in Burlică and Roşu [12, Lemma 4.1, formula (4.3)] valid for continuous functions.
Lemma 2
Let us assume that \((H_A)\), \((H_h)\), \((H_g)\) and \((H_c)\) are satisfied. Then, for each \(f\in L^{\infty }(\mathbf{R}_+;X)\), the problem
has a unique \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) satisfying
where \(m_2:=m_0+m_1\), \(m_0=\Vert h(0)\Vert _{\mathcal {R} ([\,-\tau ,0\,];X)}\) and \(m_1\) is given by \((H_g)\).
Proof
Let \(f\in L^{\infty }(\mathbf{R}_+;X)\) be arbitrary but fixed. Let \(w\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) and let us consider the auxiliary problem
Reasoning as in Lemma 5 with \(f(t,u_t)\) replaced by f(t), it follows that (15) has a unique \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) satisfying
Thus, we can define the operator
by
where \(u\in \mathcal {R} _b([\,-\tau ,+\infty );X)\) is the unique \(\mathcal {L}^{\infty }\)-solution of the Problem (15). Obviously, (15) has a unique \(\mathcal {L}^{\infty }\)-solution if and only if T has a unique fixed point.
Then, to complete the proof, it suffices to show that \(T^2\) is a strict contraction. The idea below goes back to Vrabie [30]. Here, we follow the arguments in Burlică and Roşu [10] slightly modified to handle the case of \(\mathcal {L}^{\infty }\)-solutions which may fail to be continuous. So, let \(w,z\in \mathcal {R} _b([\,-\tau ,+\infty );X)\). We have
Indeed, if \(t\ge a\) using \((H_h)\), we obtain
Now we prove that
First, let \(t\ge 0\). By \((H_h)\) and (17), we have
Second, if \(t\in [\,-\tau ,0\,)\), using the same inequalities, i.e., \((H_h)\) and (17), we get
Thus, for each \(t\in [\,-\tau ,+\infty )\), we have
which implies (18). But (18) shows that \(T^2\) is a contraction of constant \(e^{-\omega a}\). So \(T^2\) has a unique fixed point u which is also a fixed point of T. Indeed, we have
for each \(t\in [\,-\tau ,+\infty )\). Since \(e^{-\omega a}<1\), this inequality shows that \(Tu=u\) and so u is a fixed point of T which clearly is unique and is an \(\mathcal {L}^{\infty }\)-solution of the Problem (13).
This completes the proof of the existence and uniqueness part.
Finally, we will estimate \(\Vert u(t)\Vert \) for \(t\in [\,-\tau ,0\,]\) and for \(t\in (0,+\infty )\) separately. For \(t\in [\,-\tau ,0\,]\), using \((H_h)\), we get
On the other hand, from (16), setting \(w=u\), we have
for each \(t>0\). So, if for some \(t\ge a\), we have
then, from the last inequality, by observing that the function \(x\mapsto \displaystyle \frac{1}{e^{\omega x}-1}\) is strictly decreasing on \([\,a,+\infty )\), we deduce
If for each \(t\ge a\) we have \(\limsup _{s\rightarrow t}\Vert u(s)\Vert <\Vert u\Vert _{\mathcal {R} _b([\,a,+\infty );X)}\), then there exists \(t_n\rightarrow \infty \) such that
Setting \(t=t_n\) in (19) and passing to the limit for \(n\rightarrow +\infty \), we get
So, in any case, (20) holds true.
Taking \(w=u\) in (16) and using (20), we obtain
for each \(t\in \mathbf{R}_+\). After some obvious rearrangements, we get (14) and this completes the proof. \(\square \)
6 Proof of the main result
Proof
Let \(\varepsilon \in (0,1)\) and let us consider the approximate problem
By Theorem 8, (21) has a unique \(\mathcal {L}^{\infty }\)-solution \(u_{\varepsilon }\in \mathcal {R} _b([\,-\tau ,+\infty );X)\). We will show first that the \(\mathcal {L}^{\infty }\)-solution set \(\{u_{\varepsilon };\ \varepsilon \in (0,1)\}\) is uniformly bounded on \([\,-\tau ,+\infty )\). To this aim, let us observe that, by (14) in Lemma 2 and \((f_1)\) in \((H_f)\), we have
Let \(E\subseteq (0,1)\) and \(F\subseteq (0,1)\) be defined by
and by
respectively.
Clearly the set
is bounded. Indeed, if we assume the contrary, from (22), we get \(\omega \le \ell \) which is a contradiction.
Also the set
is bounded. Indeed, if \(\varepsilon \in F\), from (22) and \((H_h)\), we get
for each \(t\in [\,-\tau ,0\,]\). So,
which shows that the set
is bounded.
From the arguments above, it readily follows that, for each sequence \(\varepsilon _n\downarrow 0\), the set \(\left\{ u_n;\, n\in \mathbf{N}\right\} \), where, for each \(n\in \mathbf{N}\), \(u_n:={u_{\varepsilon }}_n\), is bounded in \(\mathcal {R} _b([\,-\tau ,+\infty );X)\). From \((f_1)\) in \((H_f)\), we conclude that \(\left\{ t\mapsto f(t,{u_n}_t); \ n\in \mathbf{N}\right\} \) is uniformly bounded and thus uniformly integrable in \(L^1(0,T;X)\) for each \(T>0\). From Theorem 4, we deduce that the family of functions
is relatively compact in \(C([\,0,T\,];X)\) for each \(T>0\). Indeed, taking
which is bounded and
we get that
is relatively compact in \(C([\,\delta ,T\,];X)\) for each \(T>0\) and \(\delta \in (0,T)\). In particular, \(\mathcal {M}(\mathcal {D},\mathcal {F})\) is relatively compact in \(C([\,a,+\infty );X)\) endowed with the uniform convergence on compacta topology. So, \(\{u_n\}\) is relatively compact in \(\mathcal {R} ([\,a,+\infty );X)\). So, on some subsequence, denoted for simplicity again by \((u_n)_n\), we have \(\lim _nu_n=u\) in \(\mathcal {R} ([\,a,+\infty );X)\). By \((H_h)\), it follows that \(\lim _nh(u_n)=h(u)\) in \(\mathcal {R} [\,-\tau ,0\,];X)\) and so \(\lim _nh(u_n)(0)=h(u)(0)\), which means that \(\mathcal {D}\) is relatively compact in X. Hence, we are in the hypotheses of Theorem 4 which implies that \(\mathcal {M}(\mathcal {D},\mathcal {F})\) is relatively compact in \(C(\mathbf{R}_+;X)\) endowed with the convergence on compacta topology. This clearly shows that \(\{u_n;\ n\in \mathbf{N}\}\) is relatively compact in \(\mathcal {R} (\mathbf{R}_+;X)\).
Accordingly, on a subsequence at least, we can pass to the limit in the variation of constants formula
uniformly for t in compact subsets in \(\mathbf{R}_+\). We get
for each \(t\in \mathbf{R}_+\). On the other hand, since h is continuous from \(\mathcal {R} (\mathbf{R}_+;X)\) to \(\mathcal {R} ([\,-\tau ,0\,];X)\), it follows that
uniformly for \(t\in [\,-\tau ,0\,]\). Thus u is an \(\mathcal {L}^{\infty }\)-solution of the Problem (1) and this completes the proof. \(\square \)
Remark 5
A simple analysis of the arguments above shows that we may relax the hypotheses \((A_1)\) in \((H_A)\) and \((H_c)\), imposed in Theorem 5, to
- \((\widetilde{A}_1)\) :
-
there exist \(M\ge 1\) and \(\omega >0\) such that \(\Vert S(t)\Vert \le M e^{-\omega t}\) for each \(t\in \mathbf{R}_+\);
- \((\widetilde{H}_c)\) :
-
The constants M, \(\ell \) and \(\omega \) satisfy \(M\ell <\omega \).
7 An example
Example 7.1
Let \({\varOmega }\) be a bounded domain in \(\mathbf{R}^d\), \(d\in \mathbf{N}^{*}\), with sufficiently smooth boundary \({\varGamma }\) and let \(\tau \ge 0\). Let \(F:\mathbf{R}_+ \times \mathbf{R}\rightarrow \mathbf{R}\) be a continuous function, let \(H:\mathbf{R}\times \mathbf{R}\rightarrow \mathbf{R}\) and let \(\psi \in \mathcal {R} ([\,-\tau ,0\,];L^{1}( {\varOmega }))\).
Let \((t_i)_{i\in \mathbf{N}}\) be an increasing sequence, let \((g_i)_{i\in \mathbf{N}}\) be a sequence in \(L^1({\varOmega })\), and let \(g:\mathbf{R}_+\rightarrow L^1({\varOmega })\) be defined by
Clearly, g is a sum of Heaviside-like \(L^1({\varOmega })\)-valued functions and belongs to \(BV_{\mathrm{loc}}(\mathbf{R}_+;L^1({\varOmega }))\). So,
for \((t,x)\in \mathbf{R}_+\times {\varOmega }\), where \(\delta (t-t_{i})\) is the Dirac delta concentrated at the point \(t_i\), \(i=0,1,2,\dots \).
Let \(\omega >0\), let \(Q_+:=\mathbf{R}_+\times {\varOmega }\), \({\varSigma }_+:=\mathbf{R}_+\times {\varGamma }\) and \(Q_{\tau }:=[\,-\tau ,0\,]\times {\varOmega }\), and let us consider the linear delay parabolic equation:
In fact (24) describes a diffusion process in which there is a feedback term depending on the cumulative history of the state, i.e., \(\displaystyle F\left( t,\int _{-\tau }^0u(t+s)\mathrm{d}s\right) \) and a forcing term, \(\mathrm{d}g(t)\), responsible for some instantaneous changes of the speed of propagation.
From Theorem 7, we deduce:
Theorem 9
Let \({\varOmega }\) be a bounded domain in \(\mathbf{R}^d\), \(d\in \mathbf{N}^{*}\), with sufficiently smooth boundary \({\varGamma }\), let \(\tau \ge 0\), and let \(\omega >0\). Let g be defined by (23), let \(\lambda \) be a positive Radon measure on \(\mathbf{R}_+\), and let \(\psi \in \mathcal {R} ([\,-\tau ,0\,];L^{1}( {\varOmega }))\).
We assume that:
- (F):
-
The function \(F:\mathbf{R}_+ \times \mathbf{R}\rightarrow \mathbf{R}\) is continuous and there exists \(\ell _0 >0\) and \(\widetilde{m} >0\) such that
$$\begin{aligned} |F(t,u)| \le \ell _0 |u| +\widetilde{m}, \end{aligned}$$for all \((t,u) \in \mathbf{R}_+ \times \mathbf{R}\). Moreover, \(F \) satisfies:
$$\begin{aligned} |F(t,u)-F(t,v)| \le \ell _0 |u-v|, \end{aligned}$$for all \((t,u), (t,v) \in \mathbf{R}_+ \times \mathbf{R}\).
- (G):
-
The functions \(g_i\), \(i=0,1,2,\dots \), in (23) satisfy
$$\begin{aligned} \sum _{i=0}^{\infty }e^{\omega t_i}\Vert g_{i+1}-g_i\Vert _{L^1({\varOmega })}<+\infty . \end{aligned}$$ - (H):
-
The function \(H:\mathbf{R}_+\times \mathbf{R}\rightarrow \mathbf{R}\) is continuous and there exists \(\alpha \) in \(L^1(\mathbf{R}_+;\lambda ,\mathbf{R}_+)\) such that
$$\begin{aligned} \int _b^{+\infty }\alpha (s)\,d\lambda (s)\le 1 \end{aligned}$$and
$$\begin{aligned} |H(s,v)-H(s,w)|\le \alpha (s)|v-w| \end{aligned}$$for each \(s\in [\,b,+\infty )\) and \(v,w\in \mathbf{R}\).
- (C):
-
The constants \(\tau \), b, \(\ell _0\) and \(\omega \) satisfy \(b-\tau >0\) and \(\ell _0\tau <\omega \).
Then, the Problem (24) has at least one \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );L^1({\varOmega }))\).
Proof
In order to use Theorem 7, we shall rewrite (24) as a delay evolution equation with measures subjected to a nonlocal initial condition in an appropriate real Banach space. First, let us define the operator \(A:D(A)\subseteq L^{1}( {\varOmega }) \rightarrow L^{1}( {\varOmega })\) by
It is well known that A generates a compact \(C_{0}\)-semigroup of contractions on the space \(X=L^1({\varOmega })\). Moreover, \(\omega \) is exactly that one in \((A_1)\) in \((H_A)\). See for instance Vrabie [29, Theorem 7.2.7, p. 160].
Now, let us observe that (24) may be rewritten as a Cauchy problem in \(L^{1}( {\varOmega })\) of the form:
where A and g are as above, while \(f:\mathbf{R}_+ \times \mathcal {R} ([\,-\tau ,0\,];L^{1}( {\varOmega })) \rightarrow L^{1}( {\varOmega })\) and \(h:\mathcal {R} _b(\mathbf{R}_+;L^1({\varOmega }))\rightarrow \mathcal {R} ([\,-\tau ,0\,];L^1({\varOmega }))\) are defined by
for each \(u\in \mathcal {R} ([\,-\tau ,0\,];L^{1}( {\varOmega }))\), \(t\in \mathbf{R}_+\) and a.e. for \(x\in {\varOmega }\) and, respectively, by
for each \(u\in \mathcal {R} _b(\mathbf{R}_+;L^{1}( {\varOmega }))\), \(t\in [\,-\tau ,0\,]\) and a.e. for \(x\in {\varOmega }\).
By (iii) in Vrabie [29, Lemma A.6.1, p. 313], it readily follows that f is well defined and continuous on \(\mathbf{R}_+\times \mathcal {R} ([\,-\tau ,0\,];L^1({\varOmega }))\). Moreover, by (F) and (C), it follows that it satisfies \((f_1)\) in \((H_f)\) with \(\ell =\ell _0\tau \) and \(m=\widetilde{m}\mu ({\varOmega })\). By (G), we conclude that g satisfies \((H_g)\), while from (H), we deduce that h satisfies \((H_h)\) with \(a=b-\tau \). Again, by (C), we conclude that \(\ell \) and \(\omega \) satisfy\( (H_c)\).
Then, by Theorem 7, we conclude that the Problem (24) has at least one \(\mathcal {L}^{\infty }\)-solution and this completes the proof. \(\square \)
As far as the case of purely singular measures is concerned, we have:
Theorem 10
Let \({\varOmega }\) be a bounded domain in \(\mathbf{R}^d\), \(d\in \mathbf{N}^{*}\), with sufficiently smooth boundary \({\varGamma }\), let \(\tau \ge 0\), and let \(\omega >0\). Let g be a function in \(BV_{\mathrm{loc}}(\mathbf{R}_+;L^1({\varOmega }))\cap C(\mathbf{R}_+;L^{1}({\varOmega }))\), let \(\lambda \) be a positive Radon measure on \(\mathbf{R}_+\), and let \(\psi \in \mathcal {R} ([\,-\tau ,0\,];L^{1}({\varOmega }))\).
We assume that:
- (F):
-
The function \(F:\mathbf{R}_+ \times \mathbf{R}\rightarrow \mathbf{R}\) is continuous and there exist \(\ell _0 >0\) and \(\widetilde{m} >0\) such that
$$\begin{aligned} |F(t,u)| \le \ell _0 |u| +\widetilde{m}, \end{aligned}$$for all \((t,u) \in \mathbf{R}_+ \times \mathbf{R}\).
- \((\widetilde{G})\) :
-
There exists \(m_1>0\) such that
$$\begin{aligned} \int _0^te^{\omega s}\,d\mathrm{Var}(g;[\,0,s\,])\le m_1 \end{aligned}$$for each \(t\in \mathbf{R}_+\).
- (H):
-
The function \(H:\mathbf{R}_+\times \mathbf{R}\rightarrow \mathbf{R}\) is continuous and there exists \(\alpha \) in \(L^1(\mathbf{R}_+;\lambda ,\mathbf{R}_+)\) such that
$$\begin{aligned} \int _b^{+\infty }\alpha (s)\,d\lambda (s)\le 1 \end{aligned}$$and
$$\begin{aligned} |H(s,v)-H(s,w)|\le \alpha (s)|v-w| \end{aligned}$$for each \(s\in [\,b,+\infty )\) and \(v,w\in \mathbf{R}\).
- (C):
-
The constants \(\tau \), b, \(\ell _0\) and \(\omega \) satisfy \(b-\tau >0\) and \(\ell _0\tau <\omega \).
Then, the Problem (24) has at least one \(\mathcal {L}^{\infty }\)-solution \(u\in \mathcal {R} _b([\,-\tau ,+\infty );L^1({\varOmega }))\).
Remark 6
We emphasize that the really interesting case is that in which g is not in \(W^{1,1}_{\mathrm{loc}}(\mathbf{R}_+;L^1({\varOmega }))\) when the Problem (24) reduces to a classical one, i.e., when \(\mathrm{d}g(t)\) can be substituted by \(f'(t)\mathrm{d}t\).
References
Ahmed, N.U.: Some remarks on the dynamics of impulsive systems in Banach spaces. Dyn. Contin. Discrete Impulse Syst. Ser. A Math. Anal. 8, 261–274 (2001)
Amann, H.: Linear parabolic problems involving measures. RACSAM Rev. R. Acad. Cien. Ser. A Mat. 95, 85–119 (2001)
Baras, P., Hassan, J.C., Veron, L.: Compacité de l’opérateur definissant la solution d’une équation d’évolution non homogène. CR Math. Acad. Sci. Paris 284, 779–802 (1977)
Barbu, V., Precupanu, Th: Convexity and Optimization in Banach Spaces, 2nd edn. Editura Academiei Bucureşti D. Reidel Publishing Company, Dordrecht-Boston-Lancaster (1986)
Benedetti, I., Loi, N.V., Malaguti, L.: Nonlocal problems for differential inclusions in Hilbert spaces. Set-Valued Var. Anal. 22, 639–656 (2014)
Benedetti, I., Malaguti, L., Taddei, V.: Nonlocal semilinear evolution equations without strong compactness: theory and applications. Bound. Value Probl. 2013, 18 (2013)
Benedetti, I., Rubbioni, P.: Existence of solutions on compact and noncompact intervals for delay evolution differential inclusions with impulses. Topol. Methods Nonlinear Anal. 32, 227–245 (2008)
Benedetti, I., Taddei, V., Väth, M.: Evolution problems with nonlinear nonlocal boundary conditions. J. Dyn. Differ. Equ. 25, 477–503 (2013)
Brezis, H., Browder, F.E.: A general principle on ordered sets in nonlinear functional analysis. Adv. Math. 21, 355–364 (1976)
Burlică, M.D., Roşu, D.: A class of nonlinear delay evolution equations with nonlocal initial conditions. Proc. Am. Math. Soc. 142, 2445–2458 (2014)
Burlică, M.D., Roşu, D., Vrabie, I.I.: Abstract reaction-diffusion systems with nonlocal initial conditions. Nonlinear Anal. 94, 107–119 (2014)
Burlică, M.D., Roşu, D.: Nonlinear delay reaction-diffusion systems with nonlocal initial conditions having affine growth. Topol. Methods Nonlinear Anal. (in print)
Byszewski, L.: Theorem about existence and uniqueness of continuous solution of nonlocal problem for nonlinear hyperbolic equation. Appl. Anal. 40, 173–180 (1990)
Byszewski, L.: Theorems about the existence and uniqueness of solutions of semilinear evolution nonlocal Cauchy problems. J. Math. Anal. Appl. 162, 494–505 (1991)
Byszewski, L., Lakshmikantham, V.: Theorem about the existence and uniqueness of a solution of a nonlocal abstract Cauchy problem in a Banach space. Appl. Anal. 40, 11–19 (1990)
Edwards, R.E.: Functional Analysis Theory and Applications. Holt, Rinehart and Winston, New York, Chicago, San Francisco, Toronto, London (1965)
García-Falset, J., Reich, S.: Integral solutions to a class of nonlocal evolution equations. Commun. Contemp. Math. 12, 1031–1054 (2010)
Grosu, G.: Existence results for semilinear evolution equations involving measures. Nonlinear Funct. Anal. Appl. 9, 337–358 (2004)
Hale, J.: Functional Differential Equations Applied Mathematical Sciences, vol. 3. Springer, NewYork, Heidelberg, Berlin (1971)
Mitidieri, E., Vrabie, I.I.: A class of strongly nonlinear functional differential equations. Ann. Math. Pure Appl. 4, 125–147 (1988)
Necula, M., Popescu, M., Vrabie, I.I.: Nonlinear delay evolution inclusions on graphs. Proceedings of the IFIP TC7/2013 on System Modeling and Optimization, Klagenfurt, Lecture Notes in Computer Science, Barbara Kaltenbacher, Clemens Heuberger, Christian Pötze and Franz Rendl Editors, pp. 207–216(2014)
Necula, M., Vrabie, I.I.: Nonlinear delay evolution inclusions with general nonlocal initial conditions. Ann. Acad. Rom. Sci. Ser. Math. 7, 67–97 (2015)
Paicu, A., Vrabie, I.I.: A class of nonlinear evolution equations subjected to nonlocal initial conditions. Nonlinear Anal. 72, 4091–4100 (2010)
Pazy, A.: Semigroups of Linear Operators and Applications to Differential Equations. Springer, Berlin, Heidelberg, NewYork, Tokyo (1983)
Tychonoff, A.: Ein fixpunktsatz. Math. Ann. 111, 767–776 (1935)
Vrabie, I.I.: A compactness criterion in \(C(0, T;X)\) for subsets of solutions of nonlinear evolution equations governed by accretive operators. Rend. Semin. Math. Univ. Politech. Torino 43, 149–157 (1985)
Vrabie, I.I.: Compactness Methods for Nonlinear Evolutions, Second Edition, Pitman Monographs and Surveys in Pure and Applied Mathematics 75, Longman Copublished in the United States with John Wiley & Sons Inc., New York (1995)
Vrabie, I.I.: Compactness of the solution operator for a linear evolution equation with distributed measures. Trans. Am. Math. Soc. 354, 3181–3205 (2002)
Vrabie, I.I.: \(C_{0}\)-Semigroups and Applications. North-Holland Mathematics Studies, vol. 191. Elsevier, North-Holland (2003)
Vrabie, I.I.: Nonlinear retarded evolution equations with nonlocal initial conditions. Dyn. Syst. Appl. 21, 417–439 (2012)
Vrabie, I.I.: Almost periodic solutions for nonlinear delay evolutions with nonlocal initial conditions. J. Evol. Equ. 13, 693–714 (2013)
Vrabie, I.I.: Delay evolution equations with mixed nonlocal plus local initial conditions. Commun. Contemp. Math. 17, 1350035-22 (2015)
Vrabie, I.I.: Semilinear delay evolution equations with nonlocal initial conditions. In: Favini, A., Fragnelli, G., Mininni, R. (eds.) New Prospects in Direct, Inverse and Control Problems for Evolution Equations, Springer INdAM Series vol. 10 pp. 419–435. Springer (2014)
Acknowledgments
The authors would like to thank the referees for their suggestions to improve some parts of the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first three authors are members of INdAM and GNAMPA. The paper was partially supported by the project GNAMPA 2014 “Metodi topologici: sviluppi ed applicazioni a problemi differenziali non lineari.” The last author was supported also by the Romanian National Authority for Scientific Research, CNCS–UEFISCDI, project number PN-II-ID-PCE-2011-3-0052.
Rights and permissions
About this article
Cite this article
Benedetti, I., Malaguti, L., Taddei, V. et al. Semilinear delay evolution equations with measures subjected to nonlocal initial conditions. Annali di Matematica 195, 1639–1658 (2016). https://doi.org/10.1007/s10231-015-0535-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-015-0535-6
Keywords
- Semilinear delay evolution equations with measures
- Nonlocal delay initial condition
- \(\mathcal {L}^{\infty }\)-solution
- Compact semigroup