Skip to main content

Measures of noncompactness in spaces of regulated functions with application to semilinear measure driven equations

Abstract

We investigate the existence of mild solutions for abstract semilinear measure driven equations with nonlocal conditions. We first establish some results on Kuratowski measure of noncompactness in the space of regulated functions. Then we obtain some existence results for the abstract measure system by using the measure of noncompactness and a corresponding fixed point theorem. The usual Lipschitz-type assumptions are avoided, and the semigroup related to the linear part of the system is not claimed to be compact, which improves and generalizes some known results in the literature.

1 Introduction

In this paper, we consider the following semilinear measure driven differential system with nonlocal condition:

$$ \begin{aligned} &dx(t)=Ax(t)+f\bigl(t,x(t)\bigr)\, dg(t), \quad t\in J, \\ &x(0)=p(x), \end{aligned} $$
(1)

where \(J=[0,a]\) with \(a>0\). The state variable \(x(\cdot)\) takes values in a Banach space X. \(A: D(A)\subseteq X \to X\) is the infinitesimal generator of a \(C_{0}\)-semigroup \(T(t)\), \(t\geq0\), and \(g: J\to\mathbb {R}\) is a nondecreasing left-continuous function; the functions \(f: J\times X \to X\) and \(p: G(J;X)\to X\) will be specified later, where \(G(J;X)\) denotes the space of regulated functions on J in which we consider the problem. By dx and dg we denote the distributional derivatives of the solution and the function g, respectively [1, 2].

Measure driven differential equations are also called differential equations with measures or measure differential equations; they arise in many areas of applied mathematics such as nonsmooth mechanics, game theory, etc. (see [37]). This type of systems covers some well-known cases up to the difference of g. When g is an absolutely continuous function, a step function, or the sum of an absolutely continuous function with a step function, the system corresponds to ordinary differential equations, difference equations, or impulsive differential equations, respectively. On the other hand, since measure differential equations admit discontinuous paths that may exhibit infinitely many discontinuities in a finite interval, they can model some complex behaviors in dynamic systems, for example, Zeno trajectories [8].

The nonlocal problem was considered by Byszewski [9]. This type of systems is more appropriate than the classical initial value problem to describe real phenomena because it allows us to consider additional information. In the past few years theorems about the existence and controllability of differential and functional differential abstract evolution systems with nonlocal conditions have been fully studied (see [1017] and the references therein).

Measure differential equations were investigated early by [1821]. We can refer to the review paper [22] for a complete introduction of measure differential systems. Recently, the theory of measure differential equations in \(\mathbb{R}^{n}\) space has been developed to some extent (see [2, 2325]). However, to the best of our knowledge, little literatures has been devoted to measure differential equations in infinite-dimensional spaces except [1] and [26, 27]. In separable Banach spaces, by applying Hausdorff measure of noncompactness, the paper [1] discussed the existence of solutions for nonlinear measure driven system in the Kurzweil integral setting (a kind of nonabsolutely convergent integral generalizing the Lebesgue integral), in which the system can be viewed as a particular case of system (1) in this paper with \(A=0\) and \(p(x)=x_{0}\). Although some properties of Hausdorff measure of noncompactness in the space of \(G(J;X)\) were provided in [1], those properties are not intrinsic for \(G(J;X)\) since the function g in the system was involved. Under Lipschitz-type conditions, [23, 24] studied the retarded version of nonlinear measure driven system by means of generalized ordinary differential equations when \(X=\mathbb{R}^{n}\) and in the Kurzweil integral setting. The authors in [26] investigated the existence of mild solutions for abstract semilinear measure driven system without consideration of nonlocal conditions, where the compactness of the \(C_{0}\)-semigroup related to the linear part of the system is claimed. In this paper, for a general Banach space X, we first establish some useful properties of the Kuratowski measure of noncompactness in the space of regulated functions \(G(J;X)\). Then we obtain some existence results for semilinear measure driven system with nonlocal conditions (1) by applying the Kuratowski measure of noncompactness and a corresponding fixed point theorem. The compactness of the \(C_{0}\)-semigroup is not demanded in this paper. In addition, without any assumptions of Lipschitz-type as those in [23, 24], a similar analysis to system (1) can lead to the existence result for nonlinear measure retarded equations in the Lebesgue integral setting.

This paper is organized as follows. In Section 2, we review some concepts and results about the Lebesgue-Stieltjes integral and regulated functions and the Kuratowski measure of noncompactness, which will be used throughout this paper. In Section 3, some results of the Kuratowski measure of noncompactness and regulated functions are established and applied to investigate the existence for the semilinear measure system (1). An example that illustrates our results is presented in Section 4. Finally, some conclusions are drawn in Section 5.

2 Preliminaries

In this section, we recall some concepts and basic results about the Lebesgue-Stieltjes integral and regulated functions and the Kuratowski measure of noncompactness. For the properties of operator semigroups, we refer the reader to [28, 29].

Let X be a Banach space with a norm \(\|\cdot\|\), and \([a,b]\) be a closed interval of the real line. A function \(f:[a,b]\to X\) is called regulated on \([a,b]\) if the limits

$$\lim_{s\to t^{-}} f(s)=f \bigl(t^{-} \bigr),\quad t\in (a,b]\quad \mbox{and} \quad \lim_{s\to t^{+}} f(s)=f \bigl(t^{+} \bigr),\quad t \in[a,b ), $$

exist and are finite. The space of regulated functions \(f:[a,b]\to X\) is denoted by \(G([a,b];X)\). It is well known that the set of discontinuities of a regulated function is at most countable and that the space \(G([a,b];X)\) is a Banach space endowed with the norm \(\|f\| _{\infty}=\sup_{t\in[a,b]}\|f(t)\|\) (see [30]).

The finite sets \(d=\{t_{0},t_{1},\ldots,t_{n}\}\) of points in the closed interval \([a,b]\) such that \(a=t_{0}< t_{1}<\cdots<t_{n}=b\) are called partitions of \([a,b]\). For \(\delta>0\), we say that a partition of \([a,b]\) is δ-fine if \(|t_{i}-t_{i-1}|<\delta\) for all \(i=1,2,\ldots,n\).

The following result holds by Proposition 3 in [1] since the Kurzweil integral is more general than the Lebesgue integral.

Proposition 2.1

Consider the functions \(f:[a,b]\to X\) and \(g:[a,b]\to\mathbb{R}\) such that g is regulated and \(\int_{a}^{b} f\, dg\) exists. Then for every \(t_{0}\in [a,b]\), the function \(h(t)=\int_{t_{0}}^{t} f\, dg\), \(t\in[a,b]\), is regulated and satisfies

$$\begin{aligned}& h \bigl(t^{+} \bigr)=h(t)+f(t)\Delta^{+} g(t), \quad t\in [a,b), \\& h \bigl(t^{-} \bigr)=h(t)-f(t)\Delta^{-} g(t), \quad t\in(a,b ], \end{aligned}$$

where \(\Delta^{+} g(t)=g(t^{+})-g(t)\) and \(\Delta^{-} g(t)=g(t)-g(t^{-})\).

The readers can refer to [31, 32] for the theory of Lebesgue-Stieltjes integral and other types of integrals together with the relations among them.

Definition 2.2

([33])

A set \(\mathcal{A}\subset G([a,b];X)\) is called equiregulated if, for every \(\varepsilon>0\) and every \(t_{0}\in[a,b]\), there is \(\delta>0\) such that:

  1. (i)

    If \(x\in\mathcal{A}\), \(t\in[a,b]\), and \(t_{0}-\delta< t< t_{0}\), then \(\|x({t_{0}}^{-})-x(t)\|<\varepsilon\).

  2. (ii)

    If \(x\in\mathcal{A}\), \(t\in[a,b]\), and \(t_{0}< t< t_{0}+\delta \), then \(\|x(t)-x({t_{0}}^{+})\|<\varepsilon\).

Lemma 2.3

([33])

A set \(\mathcal{A}\subset G([a,b];X)\) is equiregulated if and only if, for every \(\varepsilon>0\), there is a δ-fine partition \(a=t_{0}< t_{1}<\cdots<t_{n}=b\) such that

$$\bigl\Vert x \bigl(t'' \bigr)-x \bigl(t' \bigr) \bigr\Vert < \varepsilon $$

for all \(x\in\mathcal{A}\) and \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\).

Remark 2.4

According to Lemma 2.3, it is clear that \(x: [a,b]\to X\) is a regulated function if and only if, for every \(\varepsilon>0\), there is a δ-fine partition \(a=t_{0}< t_{1}<\cdots<t_{n}=b\) such that

$$\bigl\Vert x \bigl(t'' \bigr)-x \bigl(t' \bigr) \bigr\Vert < \varepsilon $$

for \(t_{i-1}< t'< t''< t_{i}\) and \(i=1,2,\ldots,n\). One can also refer to Lemma 1.1 in [33] for the proof.

Lemma 2.5

([33])

Let \(\{x_{n}\}_{n=1}^{\infty}\) be a sequence of functions from \([a,b]\) to X. If \(x_{n}\) converges pointwise to \(x_{0}\) as \(n\to\infty\) and the sequence \(\{x_{n}\}_{n=1}^{\infty}\) is equiregulated, then \(x_{n}\) converges uniformly to \(x_{0}\).

Lemma 2.6

Let \(W\subset G(J;X)\). If W is bounded and equiregulated, then the set \(\overline{\operatorname{co}}(W)\) is also bounded and equiregulated.

Proof

According to the boundedness of W, it is evident that \(\overline {\operatorname{co}}(W)\) is bounded.

For any \(\varepsilon>0\), it follows from the equiregularity of the set W and Lemma 2.3 that there exists a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that

$$\bigl\Vert w \bigl(t'' \bigr)-w \bigl(t' \bigr) \bigr\Vert < \varepsilon $$

for all \(w\in W\) and \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\).

For any \(h\in \operatorname{co}(W)\), there exist \(w_{1}, w_{2},\ldots,w_{m}\in W\), \(\lambda _{1},\lambda_{2},\ldots,\lambda_{m}>0\), \(\sum_{j=1}^{m} \lambda_{j}=1\), such that \(h=\sum_{j=1}^{m} \lambda_{j} w_{j}\). Then, for all \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\), we have

$$\begin{aligned} \bigl\Vert h \bigl(t'' \bigr)-h \bigl(t' \bigr) \bigr\Vert =& \Biggl\Vert \sum _{j=1}^{m} \lambda_{j} \bigl(w_{j} \bigl(t'' \bigr)-w_{j} \bigl(t' \bigr) \bigr) \Biggr\Vert \leq \sum _{j=1}^{m} \lambda_{j} \bigl\Vert w_{j} \bigl(t'' \bigr)-w_{j} \bigl(t' \bigr) \bigr\Vert \\ < &\varepsilon\sum_{j=1}^{m} \lambda_{j}=\varepsilon. \end{aligned}$$

Hence, the set \(\operatorname{co}(W)\) is equiregulated.

For any \(h\in\overline{\operatorname{co}}(W)\), there exists a sequence of functions \(\{h_{n}\}_{n=1}^{\infty}\) in the set \(\operatorname{co}(W)\) such that \(\lim_{n\to\infty} h_{n}=h\). Then for all \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\), we have

$$\bigl\Vert h \bigl(t'' \bigr)-h \bigl(t' \bigr) \bigr\Vert =\lim_{n\to\infty} \bigl\Vert h_{n} \bigl(t'' \bigr)-h_{n} \bigl(t' \bigr) \bigr\Vert \leq\varepsilon. $$

Therefore, the set \(\overline{\operatorname{co}}(W)\) is equiregulated. □

The Kuratowski measure of noncompactness of a bounded subset S of the Banach space X is defined by

  • \(\alpha(S)\) = inf{\(\delta>0: S\) can be expressed as the union of a finite number of sets such that the diameter of each set does not exceed δ, i.e., \(S=\bigcup_{i=1}^{m} S_{i}\) with \(\operatorname{diam}(S_{i})\leq\delta\), \(i=1,2,\ldots,m\)},

where \(\operatorname{diam}(S)\) denotes the diameter of a set S (see [34], Definition 1.2.1).

Lemma 2.7

([34])

Let S, T be bounded sets of X, and \(\lambda\in\mathbb{R}\). Then:

  1. (i)

    \(\alpha(S)=0\) if and only if S is relatively compact;

  2. (ii)

    \(S\subseteq T\) implies \(\alpha(S)\leq\alpha(T)\);

  3. (iii)

    \(\alpha(\overline{S})=\alpha(S)\);

  4. (iv)

    \(\alpha(S\cup T)= \max\{\alpha(S),\alpha(T)\}\);

  5. (v)

    \(\alpha(\lambda S)=|\lambda|\alpha(S)\), where \(\lambda S=\{ x=\lambda z: z\in S\}\);

  6. (vi)

    \(\alpha(S+T)\leq\alpha(S)+\alpha(T)\), where \(S+T=\{x=y+z: y\in S, z\in T\}\);

  7. (vii)

    \(\alpha(\operatorname{co}S)=\alpha(S)\);

  8. (viii)

    \(|\alpha(S)-\alpha(T)|\leq2d_{h}(S,T)\), where \(d_{h}(S,T)\) denotes the Hausdorff metric of S and T, that is,

    $$d_{h}(S,T)=\max \Bigl\{ \sup_{x\in S} d(x,T), \sup _{x\in T} d(x,S) \Bigr\} , $$

    and \(d(\cdot,\cdot)\) is the distance from an element of X to a subset of X.

Lemma 2.8

([35])

Let X be a Banach space, and \(D\subseteq X\) a bounded set. Then there exists a countable subset \(D_{0}\) of D such that \(\alpha(D)\leq2\alpha(D_{0})\).

Let μ be a regular Borel measure on J and \(L_{\mu}^{1}(J;X)\) denote the set of μ-integrable functions from J to X.

Lemma 2.9

([36])

Let \(W_{0}\subseteq L_{\mu}^{1}(J;X)\) be a countable set. Assume that there exists a positive function \(k\in L_{\mu}^{1}(J;\mathbb{R}^{+})\) such that \(\| w(t)\|\leq k(t)\) μ-a.e. for all \(w\in W_{0}\). Then we have

$$\alpha \biggl( \int_{J} W_{0}(t)\, d\mu(t) \biggr)\leq2 \int_{J} \alpha \bigl(W_{0}(t) \bigr)\, d\mu(t). $$

Corollary 2.10

Let \(W\subseteq L_{\mu}^{1}(J;X)\). If there exists a positive function \(k\in L_{\mu}^{1}(J;\mathbb{R}^{+})\) such that \(\|w(t)\|\leq k(t)\) μ-a.e. for all \(w\in W\), then we have

$$\alpha \biggl( \int_{J} W(t)\,d\mu(t) \biggr)\leq4 \int_{J} \alpha \bigl(W(t) \bigr)\,d\mu(t). $$

Proof

By Lemma 2.7(ii), Lemma 2.8, and Lemma 2.9, there exists a countable set \(W_{0}\subseteq W\) such that

$$\begin{aligned} \alpha \biggl( \int_{J} W(t)\,d\mu(t) \biggr) \leq&2\alpha \biggl( \int_{J} W_{0}(t)\,d\mu(t) \biggr) \leq4 \int_{J} \alpha \bigl(W_{0}(t) \bigr)\,d\mu(t) \\ \leq&4 \int_{J} \alpha \bigl(W(t) \bigr)\,d\mu(t). \end{aligned}$$

 □

Remark 2.11

Since the Lebesgue-Stieltjes measure is a regular Borel measure, the result of Corollary 2.10 holds for the Lebesgue-Stieltjes measure.

Lemma 2.12

([37])

Let F be a closed convex subset of a Banach space, and the operator \(N: F\to F\) be continuous with \(N(F)\) bounded. For any bounded \(B\subseteq F\), set

$$\widetilde{N}^{1}(B)=N(B) \quad \textit{and} \quad \widetilde{N}^{n}(B)=N \bigl(\overline{\operatorname{co}} \bigl( \widetilde{N}^{n-1}(B) \bigr) \bigr), \quad \forall n\geq 2, n\in \mathbb{N}. $$

If there exist a constant \(0\leq\gamma<1\) and \(n_{0}\in\mathbb{N}\) such that \(\alpha(\widetilde{N}^{n_{0}}(B))\leq\gamma\alpha(B)\) for every bounded \(B\subseteq F\), then N has a fixed point.

3 Main results

In this section, we show the main results of this paper that are divided into two parts. Some properties of the Kuratowski measure of noncompactness in the space of regulated functions \(G(J;X)\) are established in the first part. These properties are then applied to discuss the existence for the semilinear measure system (1) in the second part.

3.1 Measure of noncompactness in \(G(J;X)\)

Let W be a subset of \(G(J;X)\). For each fixed \(t\in J\), we denote \(W(t)=\{x(t): x\in W\}\). Further, let \(W(J)=\bigcup_{t\in J} W(t)=\{x(t): x\in W, t\in J\}\). Next, we will provide some results on the Kuratowski measure of noncompactness in the space of regulated functions \(G(J;X)\), which generalize those in the space of continuous functions \(C(J;X)\) in [34].

Theorem 3.1

Let \(W\subset G(J;X)\) be bounded and equiregulated on J. Then \(\alpha (W(t))\) is regulated on J.

Proof

Since W is equiregulated, then for every \(\varepsilon>0\), there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that

$$\bigl\Vert x \bigl(t'' \bigr)-x \bigl(t' \bigr) \bigr\Vert < \varepsilon/2 \quad \mbox{for any } t_{i-1}< t'< t''< t_{i} \ (i=1,2,\ldots,n), x\in W. $$

Note that

$$\begin{aligned} \sup_{x\in W} d \bigl(x \bigl(t' \bigr),W \bigl(t'' \bigr) \bigr) =&\sup_{x\in W} \inf_{y\in W} \bigl\Vert x \bigl(t' \bigr)-y \bigl(t'' \bigr) \bigr\Vert \\ \leq&\sup_{x\in W} \bigl\Vert x \bigl(t' \bigr)-x \bigl(t'' \bigr) \bigr\Vert +\sup _{x\in W} \inf_{y\in W} \bigl\Vert x \bigl(t'' \bigr)-y \bigl(t'' \bigr) \bigr\Vert \leq\varepsilon/2. \end{aligned}$$

Further, the same proof as before leads to

$$\sup_{x\in W} d \bigl(x \bigl(t'' \bigr),W \bigl(t' \bigr) \bigr) \leq\varepsilon/2. $$

Then we have

$$d_{h} \bigl(W \bigl(t' \bigr),W \bigl(t'' \bigr) \bigr) \leq\varepsilon/2. $$

By Lemma 2.7(viii) we have

$$\bigl\Vert \alpha \bigl(W \bigl(t'' \bigr) \bigr)- \alpha \bigl(W \bigl(t' \bigr) \bigr) \bigr\Vert \leq2d_{h} \bigl(W \bigl(t' \bigr),W \bigl(t'' \bigr) \bigr) \leq \varepsilon. $$

According to Remark 2.4, \(\alpha(W(t))\) is regulated on J. □

Theorem 3.2

Let \(W\subset G(J;X)\) be bounded and equiregulated on J. Then

$$\alpha(W)=\sup \bigl\{ \alpha \bigl(W(t) \bigr): t\in J \bigr\} . $$

Proof

Step 1. We first prove that \(\alpha(W)=\alpha(W(J))\).

(i) Let us first show that \(\alpha(W(J))\leq\alpha(W)\). For every \(\varepsilon>0\), let \(W=\bigcup_{j=1}^{m} W_{j}\) be such that \(\operatorname{diam}(W_{j})<\alpha(W)+\varepsilon\), \(j=1,2,\ldots,m\).

By the equiregularity of the set W and by Lemma 2.3 there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that

$$\bigl\Vert x \bigl(t'' \bigr)-x \bigl(t' \bigr) \bigr\Vert < \varepsilon $$

for all \(x\in W\) and \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\).

Let \(J_{i}=(t_{i-1},t_{i})\), \(S_{ji}=\{x(t): x\in W_{j}, t\in J_{i}\} \), \(j=1,2,\ldots,m\), \(i=1,2,\ldots, n\). It is evident that

$$W(J)= \Biggl( \bigcup_{j=1}^{m} \bigcup _{i=1}^{n} S_{ji} \Biggr)\cup \Biggl( \bigcup_{j=1}^{m} \bigcup _{i=0}^{n} W_{j}(t_{i}) \Biggr). $$

For any \(x,y\in W_{j}\), \(t,t'\in J_{i}\), we have

$$\begin{aligned} \bigl\Vert x(t)-y \bigl(t' \bigr) \bigr\Vert \leq& \bigl\Vert x(t)-y(t) \bigr\Vert + \bigl\Vert y(t)-y \bigl(t' \bigr) \bigr\Vert \leq \Vert x-y\Vert _{\infty}+\varepsilon \\ \leq& \operatorname{diam}(W_{j})+\varepsilon< \alpha(W)+2\varepsilon. \end{aligned}$$

Hence, \(\alpha(\bigcup_{j=1}^{m} \bigcup_{i=1}^{n} S_{ji})\leq\alpha (W)+2\varepsilon\).

For any \(x,y\in W_{j}\), \(t=t_{i}\), we have

$$\bigl\Vert x(t_{i})-y(t_{i}) \bigr\Vert \leq \Vert x-y \Vert _{\infty}\leq \operatorname{diam}(W_{j})< \alpha (W)+ \varepsilon. $$

Hence, \(\alpha(\bigcup_{j=1}^{m} \bigcup_{i=0}^{n} W_{j}(t_{i}))\leq\alpha (W)+\varepsilon\). Therefore, we have

$$\alpha \bigl(W(J) \bigr)=\max \Biggl\{ \alpha \Biggl(\bigcup _{j=1}^{m} \bigcup_{i=1}^{n} S_{ji} \Biggr), \alpha \Biggl(\bigcup_{j=1}^{m} \bigcup_{i=0}^{n} W_{j}(t_{i}) \Biggr) \Biggr\} \leq\alpha(W)+2\varepsilon. $$

The arbitrariness of ε shows that \(\alpha(W(J))\leq\alpha(W)\).

(ii) Let us now show that \(\alpha(W)\leq\alpha(W(J))\). For every \(\varepsilon>0\), by the equiregularity of the set W and by Lemma 2.3 there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that

$$\bigl\Vert x \bigl(t'' \bigr)-x \bigl(t' \bigr) \bigr\Vert < \varepsilon $$

for all \(x\in W\) and \(t', t'' \in J_{i}=(t_{i-1}, t_{i})\), \(i=1,2,\ldots,n\).

On the other hand, there is a partition \(W(J)=\bigcup_{j=1}^{m} T_{j}\) such that

$$\operatorname{diam}(T_{j})< \alpha \bigl(W(J) \bigr)+\varepsilon, \quad j=1,2,\ldots,m. $$

Let P be the finite set of all maps \(i\to\mu(i)\) of \(\{1,2,\ldots,n\}\) into \(\{1,2,\ldots,m\}\). Let Q be the finite set of all maps \(i\to\nu (i)\) of \(\{0,1,2,\ldots,n\}\) into \(\{1,2,\ldots,m\}\). Fixing arbitrarily \(\tau _{i} \in J_{i}\), \(i=1,2,\ldots,n\), for \(\mu\in P\), \(\nu\in Q\), let \(L_{\mu}=\{ x\in W: x(\tau_{i})\in T_{\mu(i)}, i=1,2,\ldots,n\}\), \(L_{\nu}=\{x\in W: x(t_{i})\in T_{\nu(i)}, i=0,1,\ldots,n\}\), and let \(L_{\mu\nu}=L_{\mu}\cap L_{\nu}\). It is clear that \(W=\bigcup_{\mu\in P, \nu\in Q} L_{\mu\nu}\).

For any \(x, y\in L_{\mu\nu}\) and \(t\in J\), if \(t\in J_{i}\) for some \(i=1,2,\ldots,n\), then we have

$$\begin{aligned} \bigl\Vert x(t)-y(t) \bigr\Vert \leq& \bigl\Vert x(t)-x( \tau_{i}) \bigr\Vert + \bigl\Vert x(\tau_{i})-y( \tau_{i}) \bigr\Vert + \bigl\Vert y(\tau _{i})-y(t) \bigr\Vert \\ < & 2\varepsilon+ \operatorname{diam}(T_{\mu(i)})< \alpha \bigl(W(J) \bigr)+3\varepsilon. \end{aligned}$$

If \(t=t_{i}\) for some \(i=0,1,\ldots,n\), then we have

$$\bigl\Vert x(t_{i})-y(t_{i}) \bigr\Vert \leq \operatorname{diam}(T_{\nu(i)})< \alpha \bigl(W(J) \bigr)+\varepsilon. $$

Consequently, for any \(x, y\in L_{\mu\nu}\), we have

$$\Vert x-y\Vert _{\infty}=\sup_{t\in J} \bigl\Vert x(t)-y(t) \bigr\Vert \leq\alpha \bigl(W(J) \bigr)+3\varepsilon, $$

which implies \(\operatorname{diam}(L_{\mu\nu})\leq\alpha(W(J))+3\varepsilon\), and hence \(\alpha(W) \leq\alpha(W(J))+3\varepsilon\). Since ε is arbitrary, we have \(\alpha(W) \leq\alpha(W(J))\).

(i) and (ii) show that \(\alpha(W)=\alpha(W(J))\).

Step 2. Now we prove that \(\alpha(W(J))=\sup\{\alpha(W(t)): t\in J\}\).

We first observe that, by Theorem 3.1, \(\alpha(W(t))\) is regulated on J, and hence \(\sup_{t\in J} \alpha(W(t))\) exists. Since \(W(t)\subset W(J)\) for any \(t\in J\), we have

$$\sup_{t\in J} \alpha \bigl(W(t) \bigr) \leq\alpha \bigl(W(J) \bigr). $$

On the other hand, for any given \(\varepsilon>0\), by the equiregularity of the set W and by Lemma 2.3, there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that

$$\bigl\Vert x \bigl(t'' \bigr)-x \bigl(t' \bigr) \bigr\Vert < \varepsilon $$

for all \(x\in W\) and \(t', t'' \in J_{i}=(t_{i-1}, t_{i})\), \(i=1,2,\ldots,n\).

Take \(\tau_{i} \in J_{i}\) (\(i=1,2,\ldots,n\)) arbitrarily. It is easy to see that, for any i (\(i=1,2,\ldots,n\)), there exists a partition \(W=\bigcup_{j=1}^{m} W_{j}^{(i)}\) (m is independent of i) such that \(W(\tau _{i})=\bigcup_{j=1}^{m} W_{j}^{(i)}(\tau_{i})\) satisfies

$$\operatorname{diam} \bigl(W_{j}^{(i)}(\tau_{i}) \bigr)< \alpha \bigl(W(\tau_{i}) \bigr)+\varepsilon, \quad j=1,2, \ldots,m. $$

Let \(B_{ij}=W_{j}^{(i)}(J_{i})\). It is evident that \(W(J)=(\bigcup_{i=1}^{n}\bigcup_{j=1}^{m} B_{ij})\cup(\bigcup_{i=0}^{n} W(t_{i}))\). For \(x, y\in W_{j}^{(i)}\) and \(t, t'\in J_{i}\), we have

$$\begin{aligned} \bigl\Vert x(t)-y \bigl(t' \bigr) \bigr\Vert \leq& \bigl\Vert x(t)-x(\tau_{i}) \bigr\Vert + \bigl\Vert x( \tau_{i})-y( \tau_{i}) \bigr\Vert + \bigl\Vert y(\tau _{i})-y \bigl(t' \bigr) \bigr\Vert \\ < & \operatorname{diam} \bigl(W_{j}^{(i)}( \tau_{i}) \bigr)+2\varepsilon, \end{aligned}$$

and therefore,

$$\operatorname{diam}(B_{ij})\leq \operatorname{diam} \bigl(W_{j}^{(i)}(\tau_{i}) \bigr)+2\varepsilon< \alpha \bigl(W(\tau _{i}) \bigr)+3\varepsilon\leq\sup _{t\in J} \alpha \bigl(W(t) \bigr)+3\varepsilon. $$

Hence,

$$\alpha \Biggl(\bigcup_{i=1}^{n}\bigcup _{j=1}^{m} B_{ij} \Biggr) \leq\sup _{t\in J} \alpha \bigl(W(t) \bigr)+3\varepsilon. $$

Since ε is arbitrary, we have

$$\alpha \Biggl(\bigcup_{i=1}^{n}\bigcup _{j=1}^{m} B_{ij} \Biggr) \leq\sup _{t\in J} \alpha \bigl(W(t) \bigr). $$

Therefore,

$$\begin{aligned} \alpha \bigl(W(J) \bigr) =&\max \Biggl\{ \alpha \Biggl(\bigcup _{i=1}^{n}\bigcup_{j=1}^{m} B_{ij} \Biggr), \alpha \bigl(W(t_{0}) \bigr), \alpha \bigl(W(t_{1}) \bigr),\ldots,\alpha \bigl(W(t_{n}) \bigr) \Biggr\} \\ \leq&\sup_{t\in J} \alpha \bigl(W(t) \bigr). \end{aligned}$$

Thus, we have \(\alpha(W)=\alpha(W(J))=\sup\{\alpha(W(t)): t\in J\}\). □

3.2 Existence for semilinear measure driven equations

In this part, we provide existence results for the abstract measure system (1). We first give the definition of mild solutions for system (1).

Definition 3.3

The function \(x\in G(J;X)\) is called a mild solution of system (1) on J if it satisfies the following measure integral equation:

$$x(t)=T(t)p(x)+ \int_{0}^{t} T(t-s)f \bigl(s,x(s) \bigr)\, dg(s), \quad t\in J. $$

Denote by \(\mathcal{LS}_{g}(J;X)\) the space of all functions \(f: J\to X\) that are Lebesgue-Stieltjes integrable with respect to g. We introduce the following assumptions.

  1. (H)

    The \(C_{0}\)-semigroup \(T(t)\) generated by A is equicontinuous, that is, \(\{T(t)x: x\in B\}\) is equicontinuous at any \(t>0\) for any bounded subset \(B\subset X\) (cf. [38]). Let \(M=\sup_{t\in J}\|T(t)\|\).

  2. (cf1)

    For every \(x\in G(J;X)\), the function \(f(\cdot,x(\cdot))\in \mathcal{LS}_{g}(J;X)\).

  3. (cf2)

    The map \(x\mapsto f(\cdot,x(\cdot))\) from \(G(J;X)\) to \(\mathcal {LS}_{g}(J;X)\) is continuous.

  4. (cf3)

    There exist a function \(m \in\mathcal{LS}_{g}(J;\mathbb{R}^{+})\) and a nondecreasing continuous function \(\Phi: \mathbb{R}^{+} \to\mathbb {R}^{+}\) such that

    $$\bigl\Vert f(t,x) \bigr\Vert \leq m(t)\Phi \bigl(\Vert x\Vert \bigr) $$

    for all \(x\in X\) and almost all \(t\in J\). In addition,

    $$\liminf_{l\to+\infty} \frac{\Phi(l)}{l}=\gamma< +\infty. $$
  5. (cf4)

    There exists a function \(L \in\mathcal{LS}_{g}(J;\mathbb{R}^{+})\) such that

    $$\alpha \bigl(f(t,B) \bigr)\leq L(t)\alpha(B) $$

    for almost all \(t\in J\) and every bounded set \(B\subseteq X\).

  6. (cp)

    \(p: G(J;X)\to X\) is continuous and compact, and there exist positive constants c and d such that

    $$\bigl\Vert p(x) \bigr\Vert \leq c\Vert x\Vert _{\infty}+d \quad \mbox{for all } x\in G(J;X). $$

Theorem 3.4

Assume that hypotheses (H), (cf1)-(cf4), and (cp) are satisfied and

$$ cM+M\gamma \int_{0}^{a} m(s)\, dg(s)< 1. $$
(2)

Then system (1) has a mild solution on J.

Proof

Define the operator \(N: G(J;X)\to G(J;X)\) by

$$N(x) (t)=T(t)p(x)+ \int_{0}^{t} T(t-s)f \bigl(s,x(s) \bigr)\, dg(s). $$

As a result of assumptions (H) and (cf1), the integral in the last formula is well defined.

Let \(l>0\) be a constant, and \(B_{l}=\{x\in G(J;X): \|x\|_{\infty} \leq l\} \). For every positive number l, \(B_{l}\) is clearly a bounded closed convex set in \(G(J;X)\). Write \(N(B_{l})=\{N(x): x(\cdot)\in B_{l}\}\).

Step 1. There exists a positive number l such that \(\{ N(B_{l})\}\subseteq B_{l}\).

If this statement is not true, then for each positive constant l, there exists a function \(x_{l}(\cdot) \in B_{l}\) such that \(N(x_{l})(\cdot )\notin B_{l}\), that is, \(\|N(x_{l})(t)\|>l\) for some \(t(l)\in J\), where \(t(l)\) denotes t that is dependent on l. We have

$$\begin{aligned} l < & \bigl\Vert N(x_{l}) (t) \bigr\Vert = \biggl\Vert T(t)p(x_{l})+ \int_{0}^{t} T(t-s)f \bigl(s,x_{l}(s) \bigr)\, dg(s) \biggr\Vert \\ \leq& \bigl\Vert T(t)p(x_{l}) \bigr\Vert + \int_{0}^{t} \bigl\Vert T(t-s)f \bigl(s,x_{l}(s) \bigr) \bigr\Vert \, dg(s) \\ \leq& M(cl+d)+M\Phi(l) \int_{0}^{a} m(s)\, dg(s). \end{aligned}$$

Dividing both sides by l and taking the lower limit as \(l\to+\infty \), we get

$$cM+M\gamma \int_{0}^{a} m(s)\, dg(s)\geq1. $$

It is a contradiction to (2). Hence, for some positive number l, \(N(B_{l})\subseteq B_{l}\).

Step 2. \(N(B_{l})\) is an equiregulated set of functions.

For \(t_{0}\in[0,a)\), we have

$$\begin{aligned}& \bigl\Vert N(x) (t)-N(x) \bigl({t_{0}}^{+} \bigr) \bigr\Vert \\& \quad \leq \bigl\Vert \bigl(T(t)-T \bigl({t_{0}}^{+} \bigr) \bigr)p(x) \bigr\Vert + \int_{0}^{{t_{0}}^{+}} \bigl\Vert \bigl(T(t-s)-T \bigl({t_{0}}^{+} -s \bigr) \bigr)f \bigl(s,x(s) \bigr) \bigr\Vert \,dg(s) \\& \qquad {}+M \int_{{t_{0}}^{+}}^{t} \bigl\Vert f \bigl(s,x(s) \bigr) \bigr\Vert \,dg(s) \\& \quad =I_{1}+I_{2}+I_{3}. \end{aligned}$$

Hypotheses (cp) and (cf3) show that the sets \(\{p(x): x\in B_{l}\}\) and \(\{f(s,x(s)): s\in J, x\in B_{l}\}\) are bounded, respectively. On the other hand, by condition (H) the \(C_{0}\)-semigroup \(T(t)\) is equicontinuous on J. Thus, \(I_{1}\to0\) and \(I_{2}\to0\) as \(t\to {t_{0}}^{+}\), independently on particular choices of \(x(\cdot)\). Let \(h(t)=\int_{0}^{t} m(s)\, dg(s)\); by Proposition 2.1, \(h(t)\) is a regulated function on J. Hence,

$$I_{3} \leq M\Phi(l) \int_{{t_{0}}^{+}}^{t} m(s)\, dg(s)=M\Phi(l) \bigl(h(t)-h \bigl({t_{0}}^{+} \bigr) \bigr)\to0 \quad \mbox{as } t \to{t_{0}}^{+}, $$

also independently on \(x(\cdot)\).

We can use a similar procedure to show that \(\|N(x)({t_{0}}^{-})-N(x)(t)\| \to0\) as \(t\to{t_{0}}^{-}\) for each \(t_{0}\in(0,a]\). Therefore, \(N(B_{l})\) is equiregulated on J in terms of Definition 2.2.

Step 3. N is a continuous operator on \(B_{l}\).

Let \(\{x_{n},n\in\mathbb{N}\}\) be a convergent sequence in \(B_{l}\) and \(x_{n}\to x\) as \(n\to\infty\). In view of assumptions (cf2) and (cp) and the strong continuity of \(T(t)\), we have, for each \(t\in J\),

$$\begin{aligned}& \bigl\Vert N(x_{n}) (t)-N(x) (t) \bigr\Vert \\& \quad = \biggl\Vert T(t) \bigl(p(x_{n})-p(x) \bigr)+ \int_{0}^{t} T(t-s) \bigl[f \bigl(s,x_{n}(s) \bigr)-f \bigl(s,x(s) \bigr) \bigr]\, dg(s) \biggr\Vert \\& \quad \leq M \bigl\Vert p(x_{n})-p(x) \bigr\Vert +M \int_{0}^{a} \bigl\Vert f \bigl(s,x_{n}(s) \bigr)-f \bigl(s,x(s) \bigr) \bigr\Vert \, dg(s)\to0\quad \mbox{as } n\to \infty. \end{aligned}$$

Step 2 implies that \(\{N(x_{n})\}_{n=1}^{\infty}\) is equiregulated. This property and the above verification, together with Lemma 2.5, show that \(N(x_{n})\) converges uniformly to \(N(x)\) as \(n\to\infty\), namely,

$$\bigl\Vert N(x_{n})-N(x) \bigr\Vert _{\infty} =\sup _{t\in J} \bigl\Vert N(x_{n}) (t)-N(x) (t) \bigr\Vert \to0 \quad \mbox{as } n\to\infty. $$

Therefore, N is a continuous operator.

Step 4. There exist a constant \(0\leq\gamma<1\) and a positive integer \(n_{0}\) such that for any \(B\subseteq F\), we have \(\alpha (\widetilde{N}^{n_{0}}(B))\leq\gamma\alpha(B)\), where \(F=\overline {\operatorname{co}}(N(B_{l}))\) and \(\widetilde{N}^{n}\), \(n\geq1\), are defined as in Lemma 2.12.

First, since \(p(B_{l})\) is relatively compact in X and \(T(\cdot)\) is strongly continuous, applying the Arzelà-Ascoli theorem, we infer that the set \(\{T(\cdot)p(x): x\in B_{l}\}\) is relatively compact in \(C(J;X)\). Therefore, we have \(\alpha(\{T(\cdot)p(x): x\in B_{l}\})=0\).

Since \(N(B_{l})\subseteq B_{l}\), we have \(F\subseteq\overline {\operatorname{co}}(B_{l})=B_{l}\). Hence, \(N(F)\subseteq N(B_{l})\subseteq F\). This implies that \(N: F\to F\) and \(N(F)\) is a bounded set in \(G(J;X)\).

For each bounded set \(B\subseteq F\), we have \(\widetilde {N}^{1}(B)=N(B)\subseteq N(F)\subseteq N(B_{l})\). Suppose that \(\widetilde {N}^{n-1}(B)\subseteq N(B_{l})\) (\(n\geq2\)). Then

$$\widetilde{N}^{n}(B)=N \bigl(\overline{\operatorname{co}} \bigl( \widetilde{N}^{n-1}(B) \bigr) \bigr)\subseteq N \bigl(\overline{ \operatorname{co}} \bigl(N(B_{l}) \bigr) \bigr)\subseteq N \bigl( \overline{ \operatorname{co}}(B_{l}) \bigr)=N(B_{l}). $$

Hence, by mathematical induction as before, we get \(\widetilde{N}^{n}(B) \subseteq N(B_{l})\) for every \(n\geq1\). On the other hand, Step 1 and Step 2 show that \(N(B_{l})\) is bounded and equiregulated on J; therefore, \(\widetilde{N}^{n}(B)\) is bounded and equiregulated on J for every \(n\geq1\). By Theorem 3.2, \(\alpha(\widetilde{N}^{n}(B))=\sup_{t\in J} \alpha(\widetilde{N}^{n}(B)(t))\).

Since \(N(B_{l})\) is bounded and equiregulated on J, by Lemma 2.6, F is bounded and equiregulated on J. By hypotheses (cf3) and (cf4) and Theorem 3.2 together with Corollary 2.10, we have, for each bounded set \(B\subseteq F\),

$$\begin{aligned} \begin{aligned} \alpha \bigl(N(B) (t) \bigr) &\leq \alpha \bigl(T(t)p(B) \bigr)+\alpha \biggl( \int_{0}^{t} T(t-s)f \bigl(s,B(s) \bigr)\,dg(s) \biggr) \\ & = \alpha \biggl( \int_{0}^{t} T(t-s)f \bigl(s,B(s) \bigr)\,dg(s) \biggr) \\ &\leq 4 \int_{0}^{t} \alpha \bigl(T(t-s)f \bigl(s,B(s) \bigr) \bigr)\,dg(s) \\ & \leq 4M \int_{0}^{t} L(s)\alpha \bigl(B(s) \bigr)\,dg(s) \\ & \leq 4M \int_{0}^{t} L(s)\,dg(s) \alpha(B). \end{aligned} \end{aligned}$$

Then

$$\alpha \bigl(\widetilde{N}^{1}(B) (t) \bigr)=\alpha \bigl(N(B) (t) \bigr) \leq4M \int_{0}^{t} L(s)\,dg(s) \alpha(B). $$

For \(n\geq2\), \(n\in\mathbb{N}\), suppose that

$$\alpha \bigl(\widetilde{N}^{n-1}(B) (t) \bigr)\leq\frac{(4M)^{n-1}}{(n-1)!} \biggl( \int_{0}^{t} L(s)\,dg(s) \biggr)^{n-1} \alpha(B). $$

Then

$$\begin{aligned} \alpha \bigl(\widetilde{N}^{n}(B) (t) \bigr) =&\alpha \bigl(N \bigl( \overline{\operatorname{co}} \bigl(\widetilde {N}^{n-1}(B) \bigr) (t) \bigr) \bigr) \\ \leq&4M \int_{0}^{t} L(s)\alpha \bigl(\widetilde{N}^{n-1}(B) (s) \bigr)\,dg(s) \\ \leq&\frac{(4M)^{n}}{(n-1)!} \int_{0}^{t} L(s) \biggl( \int_{0}^{s} L(\tau)\,dg(\tau ) \biggr)^{n-1}\,dg(s) \alpha(B) \\ =&\frac{(4M)^{n}}{n!} \biggl( \int_{0}^{t} L(s)\,dg(s) \biggr)^{n} \alpha(B). \end{aligned}$$

Therefore, by mathematical induction as before and by Theorem 3.2 we get

$$\alpha \bigl(\widetilde{N}^{n}(B) \bigr)=\sup_{t\in J} \alpha \bigl(\widetilde{N}^{n}(B) (t) \bigr) \leq\frac{(4M)^{n}}{n!} \biggl( \int_{0}^{a} L(s)\,dg(s) \biggr)^{n} \alpha(B). $$

Since \(\frac{(4M)^{n}}{n!} (\int_{0}^{a} L(s)\,dg(s) )^{n} \to0\) as \(n\to\infty\), there exists \(n_{0}\in\mathbb{N}\) such that \(\frac {(4M)^{n_{0}}}{{n_{0}}!} \times (\int_{0}^{a} L(s)\,dg(s) )^{n_{0}}=\gamma<1\), and applying Lemma 2.12, it follows that the operator N has a fixed point in F. This fixed point is a mild solution of the measure driven system (1). □

In the special case of \(A=0\) and \(p(x)=x_{0}\), system (1) degenerates to the nonlinear measure driven system

$$ \begin{aligned} &dx=f(t,x)\,dg, \quad t\in J, \\ &x(0)=x_{0}, \end{aligned} $$
(3)

which was investigated by [1] in the Kurzweil integral setting.

The function \(x\in G(J;X)\) is a solution of system (3) if it satisfies the measure integral equation

$$x(t)=x_{0}+ \int_{0}^{t} f \bigl(s,x(s) \bigr)\,dg(s), \quad t \in J. $$

For the nonlinear measure driven system (3), we have the following existence result. The proof of it is similar to that of Theorem 3.4 (in view of \(T(t)=I\) and \(p(x)=x_{0}\) in this case). So we omit it.

Theorem 3.5

Assume that hypotheses (cf1)-(cf4) are fulfilled and

$$\gamma \int_{0}^{a} m(s)\,dg(s)< 1. $$

Then system (3) has a solution on J.

Remark 3.6

In the Kurzweil integral setting, paper [1] investigated the nonlinear measure equation (3) in separable Banach spaces. For system (3), Theorem 3.5 can be applied to general Banach spaces in the Lebesgue integral setting. On the other hand, Theorem 3.5 provides existence criteria different from those of Theorem 10 in [1] due to the different results on the measure of noncompactness in the space of regulated functions \(G(J;X)\).

For the special case \(X=\mathbb{R}^{n}\), the papers [23, 24] studied nonlinear measure retarded differential equations in the Kurzweil integral setting, where the Lipschitz-type conditions are demanded (see Theorem 5.3 in [23] and Theorem 6.1 in [24], respectively). Theorem 3.5 can be generalized to the retarded version with suitable modifications. Thus, the Lipschitz-type conditions in the literature cited are unnecessary here. On the other hand, it is well known that the compactness condition (cf4) on f in Theorem 3.5 is much weaker than the Lipschitz condition on f in Theorem 5.3 in [23]. From this point of view, Theorem 3.5 is less restrictive than that in [23].

Remark 3.7

Let \(PC(J;X)\) denote the space of piecewise continuous functions on J (see [39]). Since \(C(J;X)\subset PC(J;X)\subset G(J;X)\), in view of the relation of differential equations with impulses and measure driven equations [24], our results generalize those in [12, 17], where existence criteria were provided for abstract semilinear differential equations with or without impulsive effects, and correspondingly, the solutions belong to \(C(J;X)\) or \(PC(J;X)\).

4 An example

As an application of Theorem 3.4, we consider the following partial differential system driven by a measure:

$$ \left \{ \textstyle\begin{array}{l} d_{t} x(t,\omega)=\frac{\partial}{\partial\omega}x(t,\omega )+f(t,x(t,\omega))\,dg(t) \quad \mbox{for } t\in[0,1], \omega\in[0,\pi], \\ x(t,0)=x(t,\pi)=0, \quad t\in[0,1], \\ x(0,\omega)=\int_{0}^{1} h(s)\log(1+|x(s,\omega)|)\,ds, \quad \omega\in[0,\pi]. \end{array}\displaystyle \right . $$
(4)

Let \(X=L^{2}([0,\pi])\). Define \(A: X\to X\) by \(Az=z'\) with the domain \(D(A)=\{z\in X: z \mbox{ is absolutely continuous}, z'\in X, z(0)=z(\pi )=0\}\). It is well known that A is an infinitesimal generator of the \(C_{0}\)-semigroup \(T(t)\) defined by \(T(t)z(s)=z(t+s)\) for each \(z\in X\). The semigroup \(T(t)\) is not a compact semigroup on X but equicontinuous. In addition, \(M=\sup_{0\leq t\leq1}\|T(t)\|\leq1\) and \(\alpha(T(t)D)\leq\alpha(D)\), where α is the Kuratowski measure of noncompactness (see [40, 41]).

Take

$$g(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} 1-\frac{1}{2},& 0\leq t\leq1-\frac{1}{2}, \\ \ldots, \\ 1-\frac{1}{n},& 1-\frac{1}{n-1}< t\leq1-\frac{1}{n} \mbox{ for } n>2 \mbox{ and } n\in\mathbb{N}, \\ \ldots, \\ 1, & t=1. \end{array}\displaystyle \right . $$

It is evident that \(g: [0,1]\to\mathbb{R}\) is a left-continuous and nondecreasing function on \([0,1]\).

(H1) Assume that \(f:[0,1]\times X\to X\) is a continuous function defined by

$$f(t,x) (\omega)=F \bigl(t,x(\omega) \bigr), \quad t\in[0,1], \omega\in[0,\pi]. $$

Take \(F(t,x(\omega))=c_{0}\sin(x(\omega))\), where \(c_{0}\) is a real constant. We claim that conditions (cf1)-(cf4) in Theorem 3.4 can be satisfied:

  • (cf1) clearly holds;

  • (cf2) is satisfied because

    $$\begin{aligned}& \bigl\Vert f(t,x_{n})-f(t,x) \bigr\Vert \\& \quad = \int_{0}^{1} \biggl( \int_{0}^{\pi} c_{0}^{2} \bigl\vert \sin \bigl(x_{n}(\omega) \bigr)-\sin \bigl(x(\omega ) \bigr) \bigr\vert ^{2}\,d\omega \biggr)^{1/2}\,dg(t) \\& \quad \leq c_{0} \bigl(g(1)-g(0) \bigr) \biggl( \int_{0}^{\pi} \bigl\vert x_{n}( \omega)-x(\omega ) \bigr\vert ^{2}\,d\omega \biggr)^{1/2} \\& \quad = \frac{1}{2}c_{0}\Vert x_{n}-x\Vert ; \end{aligned}$$
  • (cf3) is checked with \(m(t)=c_{0}\), \(\Phi(l)=l\), and hence, \(\gamma =1\) since

    $$\begin{aligned} \bigl\Vert f(t,x) \bigr\Vert =& \biggl( \int_{0}^{\pi} c_{0}^{2} \sin^{2} \bigl(x(\omega) \bigr)\,d\omega \biggr)^{1/2} \\ \leq& \biggl( \int_{0}^{\pi} c_{0}^{2}x^{2}( \omega)\,d\omega \biggr)^{1/2}=c_{0}\|x\|; \end{aligned}$$
  • (cf4) is checked with \(L(t)=c_{0}\) since \(\alpha(f(t,B))\leq c_{0}\alpha(B)\) for any bounded subset B of X.

(H2) Define \(p: G([0,1];X)\to X\) by

$$p(\phi) (\omega)= \int_{0}^{1} h(s)\log \bigl(1+\bigl|\phi(s) (\omega)\bigr| \bigr)\,ds, \quad \phi\in G \bigl([0,1];X \bigr), $$

with \(\phi(s)(\omega)=x(s,\omega)\). Suppose \(h\in L^{2}([0,1];\mathbb {R})\) and

$$\biggl( \int_{0}^{1} \bigl\vert h(s) \bigr\vert ^{2}\,ds \biggr)^{\frac{1}{2}}+\frac{1}{2}c_{0}< 1. $$

Let \(\{\phi_{n},n\in\mathbb{N}\}\) be a convergent sequence in \(G([0,1];X)\), and \(\phi_{n}\to\phi\) as \(n\to\infty\), that is,

$$\begin{aligned} \Vert \phi_{n}-\phi \Vert ^{2} =&\sup _{s\in[0,1]} \bigl\Vert \phi_{n}(s)-\phi(s) \bigr\Vert _{X}^{2} \\ =&\sup_{s\in[0,1]} \int_{0}^{\pi}\bigl\vert \phi_{n}(s) ( \omega)-\phi(s) (\omega) \bigr\vert ^{2} \,d\omega\to0 \quad \mbox{as } n\to\infty. \end{aligned}$$

Then

$$\begin{aligned}& \bigl\Vert p(\phi_{n})-p(\phi) \bigr\Vert _{X}^{2} \\& \quad = \int_{0}^{\pi}\bigl\vert p(\phi_{n}) ( \omega)-p(\phi) (\omega) \bigr\vert ^{2} \,d\omega \\& \quad = \int_{0}^{\pi}\biggl\vert \int_{0}^{1} h(s) \bigl[\log \bigl(1+ \bigl\vert \phi_{n}(s) (\omega) \bigr\vert \bigr)-\log \bigl(1+ \bigl\vert \phi (s) (\omega) \bigr\vert \bigr) \bigr]\,ds \biggr\vert ^{2} \,d \omega \\& \quad \leq \int_{0}^{\pi}\biggl( \int_{0}^{1} \bigl\vert h(s) \bigr\vert \cdot \bigl\vert \log \bigl(1+ \bigl\vert \phi_{n}(s) (\omega ) \bigr\vert \bigr)-\log \bigl(1+ \bigl\vert \phi(s) (\omega) \bigr\vert \bigr) \bigr\vert \,ds \biggr)^{2} \,d\omega \\& \quad \leq \int_{0}^{1} \bigl\vert h(s) \bigr\vert ^{2}\,ds \cdot \int_{0}^{1} \int_{0}^{\pi}\bigl\vert \log \bigl(1+ \bigl\vert \phi _{n}(s) (\omega) \bigr\vert \bigr)-\log \bigl(1+ \bigl\vert \phi(s) (\omega) \bigr\vert \bigr) \bigr\vert ^{2} \,d\omega \,ds \\& \quad \leq \int_{0}^{1} \bigl\vert h(s) \bigr\vert ^{2}\,ds \cdot \int_{0}^{1} \int_{0}^{\pi}\bigl\vert \phi_{n}(s) ( \omega )-\phi(s) (\omega) \bigr\vert ^{2} \,d\omega \,ds\to0 \quad \mbox{as } n\to\infty. \end{aligned}$$

Therefore, p is a continuous operator. Analogously, we can obtain that, for any \(\phi\in G([0,1];X)\),

$$\bigl\Vert p(\phi) (\omega+\eta)-p(\phi) (\omega) \bigr\Vert _{X} \to0 \quad \mbox{as } \eta \to0 $$

and

$$\bigl\Vert p(\phi) \bigr\Vert _{X} \leq \biggl( \int_{0}^{1} \bigl\vert h(s) \bigr\vert ^{2}\,ds \biggr)^{\frac{1}{2}}\Vert \phi \Vert _{\infty}. $$

According to versions of the Árzela-Ascoli theorem for \(L^{2}\) space (see [42]), p is a compact operator and satisfies hypothesis (cp) in Theorem 3.4.

Moreover, we have

$$\begin{aligned}& cM+M\gamma \int_{0}^{a} m(s)\,dg(s) \\& \quad = \biggl( \int_{0}^{1} \bigl\vert h(s) \bigr\vert ^{2}\,ds \biggr)^{\frac{1}{2}}+c_{0} \bigl(g(1)-g(0) \bigr) \\& \quad = \biggl( \int_{0}^{1} \bigl\vert h(s) \bigr\vert ^{2}\,ds \biggr)^{\frac{1}{2}}+\frac{1}{2}c_{0}< 1, \end{aligned}$$

which tests inequality (2).

Hence, under these assumptions, the partial differential system (4) can be reformulated as the abstract measure system (1) and there exists at least one mild solution for system (4) by Theorem 3.4.

5 Conclusions

In this paper, the issue on abstract semilinear measure driven equations in Banach spaces with nonlocal conditions has been addressed for the first time, which can model a large class of hybrid systems with Zeno behavior. We first establish some useful results on the Kuratowski measure of noncompactness in the space of regulated functions. Then the existence criteria of mild solutions for the discussed measure system are obtained by using the tools of measure of noncompactness and a corresponding fixed point theorem. The results obtained in this paper are also applicable to abstract semilinear dynamic equations on time scales. As shown in [23, 24], this type of equations can be transformed to abstract measure driven equations. Moreover, the issue on the existence for abstract semilinear measure driven equations is relatively new, and we can further develop its investigation inspired, for example, by [43].

References

  1. Satco, B: Regulated solutions for nonlinear measure driven equations. Nonlinear Anal. Hybrid Syst. 13, 22-31 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  2. Zavalishchin, ST, Sesekin, AN: Dynamic Impulse Systems: Theory and Applications. Kluwer Academic, Dordrecht (1997)

    Book  MATH  Google Scholar 

  3. Brogliato, B: Nonsmooth Mechanics: Models, Dynamics, and Control. Springer, Berlin (1996)

    MATH  Google Scholar 

  4. Leine, RI, Heimsch, TF: Global uniform symptotic attractive stability of the non-autonomous bouncing ball system. Physica D 241, 2029-2041 (2012)

    Article  MathSciNet  Google Scholar 

  5. Leonov, G, Nijmeijer, H, Pogromsky, A, Fradkov, A: Dynamics and Control of Hybrid Mechanical Systems. World Scientific, Singapore (2010)

    MATH  Google Scholar 

  6. Moreau, JJ: Unilateral contact and dry friction in finite freedom dynamics. In: Nonsmooth Mechanics and Applications. CISM Courses and Lectures, vol. 302, pp. 1-82. Springer, New York (1988)

    Chapter  Google Scholar 

  7. Wouw, NV, Leine, RI: Tracking control for a class of measure differential inclusions. In: Proceedings of the 47th IEEE Conference on Decision and Control (2008)

    Google Scholar 

  8. Lygeros, J, Tomlin, C, Sastry, S: Hybrid Systems: Modeling, Analysis and Control. http://inst.cs.berkeley.edu/~ee291e/sp09/handouts/book.pdf (2008)

  9. Byszewski, L: Theorems about the existence and uniqueness of a solution of a semilinear evolution nonlocal Cauchy problems. J. Math. Anal. Appl. 162, 496-505 (1991)

    Article  MathSciNet  Google Scholar 

  10. Cardinali, T, Rubbioni, P: Impulsive mild solutions for semilinear differential inclusions with nonlocal conditions in Banach spaces. Nonlinear Anal. 75, 871-879 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Zhu, T, Song, C, Li, G: Existence results for abstract semilinear evolution differential inclusions with nonlocal conditions. Bound. Value Probl. 2013, 153 (2013)

    Article  MathSciNet  Google Scholar 

  12. Fan, Z, Li, G: Existence results for semilinear differential equations with nonlocal and impulsive conditions. J. Funct. Anal. 258, 1709-1727 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Henríquez, HR, Poblete, V, Pozo, JC: Mild solutions of non-autonomous second order problems with nonlocal initial conditions. J. Math. Anal. Appl. 412, 1064-1083 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ji, S: Approximate controllability of semilinear nonlocal fractional differential systems via an approximating method. Appl. Math. Comput. 236, 43-53 (2014)

    Article  MathSciNet  Google Scholar 

  15. Mahmudov, NI, Zorlu, S: Approximate controllability of fractional integro-differential equations involving nonlocal initial conditions. Bound. Value Probl. 2013, 118 (2013)

    Article  MathSciNet  Google Scholar 

  16. Debbouche, A, Torres, DFM: Approximate controllability of fractional nonlocal delay semilinear systems in Hilbert spaces. Int. J. Control 86(9), 1577-1585 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  17. Zhu, L, Li, G: Existence results of semilinear differential equations with nonlocal initial conditions in Banach spaces. Nonlinear Anal. 74, 5133-5140 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. Das, PC, Sharma, RR: Existence and stability of measure differential equations. Czechoslov. Math. J. 22(97), 145-158 (1972)

    MathSciNet  Google Scholar 

  19. Pandit, SG, Deo, SG: Differential Systems Involving Impulses. Springer, Berlin (1982)

    MATH  Google Scholar 

  20. Schmaedeke, WW: Optimal control theory for nonlinear vector differential equations containing measures. SIAM J. Control 3(2), 231-280 (1965)

    MathSciNet  MATH  Google Scholar 

  21. Sharma, RR: An abstract measure differential equation. Proc. Am. Math. Soc. 32, 503-510 (1972)

    Article  MATH  Google Scholar 

  22. Cichoń, M, Satco, BR: Measure differential inclusions-between continuous and discrete. Adv. Differ. Equ. 2014, 56 (2014)

    Article  Google Scholar 

  23. Federson, M, Mesquita, JG, Slavík, A: Measure functional differential equations and functional dynamic equations on time scales. J. Differ. Equ. 252, 3816-3847 (2012)

    Article  MATH  Google Scholar 

  24. Federson, M, Mesquita, JG, Slavík, A: Basic results for functional differential and dynamic equations involving impulses. Math. Nachr. 286(2-3), 181-204 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  25. Miller, BM, Rubinovich, EY: Impulsive Control in Continuous and Discrete-Continuous Systems. Kluwer Academic, New York (2003)

    Book  MATH  Google Scholar 

  26. Cao, Y, Sun, J: Existence of solutions for semilinear measure driven equations. J. Math. Anal. Appl. 425, 621-631 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  27. Cao, Y, Sun, J: On existence of nonlinear measure driven equations involving non-absolutely convergent integrals. Nonlinear Anal. Hybrid Syst. (2016). doi:10.1016/j.nahs.2015.11.003

    Google Scholar 

  28. Ahmed, NU: Semigroup Theory with Applications to Systems and Control. Longman, Harlow (1991)

    MATH  Google Scholar 

  29. Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)

    Book  MATH  Google Scholar 

  30. Hönig, CS: Volterra-Stieltjes Integral Equations. Math. Studies, vol. 16. North-Holland, Amsterdam (1975)

    MATH  Google Scholar 

  31. Burk, FE: A Garden of Integrals. Mathematical Association of America, Washington (2007)

    MATH  Google Scholar 

  32. Carter, M, Brunt, BV: The Lebesgue-Stieltjes Integral: A Practical Introduction. Springer, Berlin (2000)

    Book  Google Scholar 

  33. Mesquita, JG: Measure functional differential equations and impulsive functional dynamic equations on time scales. PhD thesis, Universidade de Săo Paulo, Săo Carlos, SP, Brazil (2012)

  34. Guo, DJ, Lakshmikantham, V, Liu, XZ: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)

    Book  MATH  Google Scholar 

  35. Zhou, WX, Peng, J: Existence of solution to a second-order boundary value problem via noncompactness measures. Discrete Dyn. Nat. Soc. 2012, Article ID 786404 (2012)

    MathSciNet  Google Scholar 

  36. Heinz, HP: On the behaviour of measures of noncompactness with respect to differentiation and integration of vector-valued functions. Nonlinear Anal. 7, 1351-1371 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  37. Liu, L, Guo, F, Wu, C, Wu, Y: Existence theorems of global solutions for nonlinear Volterra type integral equations in Banach spaces. J. Math. Anal. Appl. 309, 638-649 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  38. Xue, X: Nonlocal nonlinear differential equations with a measure of noncompactness in Banach spaces. Nonlinear Anal. 70, 2593-2601 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  39. Benchohra, M, Henderson, J, Ntouyas, S: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York (2006)

    Book  MATH  Google Scholar 

  40. Vrabie, II: C 0-Semigroups and Applications. North-Holland, Amsterdam (2003)

    MATH  Google Scholar 

  41. Marchado, J, Ravichandran, C, Rivero, M, Trujillo, J: Controllability results for impulsive mixed-type functional integro-differential evolution equations with nonlocal conditions. Fixed Point Theory Appl. 2013, 66 (2013)

    Article  Google Scholar 

  42. Brezis, H: Analyse Fonctionnelle - Théorie et Applications. Masson, Paris (1983)

    MATH  Google Scholar 

  43. Xie, S: Existence results of mild solutions for impulsive fractional integro-differential evolution equations with infinite delay. Fract. Calc. Appl. Anal. 17, 1158-1174 (2014)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work is supported by the National Natural Science Foundation of China under Grant 61174039. The authors thank the reviewer very much for important comments and suggestions on this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jitao Sun.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

YC completed the proof and wrote the initial draft. JS provided the problem and gave some suggestions of amendment. YC then finalized the manuscript. Correspondence was mainly done by JS. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cao, Y., Sun, J. Measures of noncompactness in spaces of regulated functions with application to semilinear measure driven equations. Bound Value Probl 2016, 38 (2016). https://doi.org/10.1186/s13661-016-0539-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0539-1

MSC

Keywords