- Research
- Open access
- Published:

# Solvability of non-semicontinuous systems of Stieltjes differential inclusions and equations

*Advances in Difference Equations*
**volume 2020**, Article number: 227 (2020)

## Abstract

We prove an existence result for systems of differential inclusions driven by multivalued mappings which need not assume closed or convex values everywhere, and need not be semicontinuous everywhere. Moreover, we consider differentiation with respect to a nondecreasing function, thus covering discrete, continuous and impulsive problems under a unique formulation. We emphasize that our existence result appears to be new even when the derivator is the identity, i.e. when derivatives are considered in the usual sense. We also apply our existence theorem for inclusions to derive a new existence result for discontinuous Stieltjes differential equations. Examples are given to illustrate the main results.

## 1 Introduction

Stieltjes differential equations are equations of the form

where, roughly speaking, the Stieltjes derivative of *x* with respect to *g* is

where the derivator function \(g:\mathbb{R} \longrightarrow \mathbb{R}\) is nondecreasing. We include in Sect. 2 the precise definitions and basic properties established in [7, 8].

The definition of Stieltjes derivative is consistent with Stieltjes integration, in the sense that every bonna fide (absolutely continuous) function can be recovered as the indefinite Lebesgue–Stieltjes integral of its *g*-derivative. Although we shall constantly refer to results in [8], we remark that there exist much older, similar notions of derivatives with respect to functions and fundamental theorems for Stieltjes integrals, see for example [3].

As explained in [8], the importance of Stieltjes derivatives is that (1.1) offers a technically simple unified framework for difference and differential equations, and even allows for impulses on countable sets of fixed times. In a similar way, it is shown in [9] that Stieltjes differential inclusions represent a more general context for the study of impulsive differential inclusions. In Sect. 3 we focus our attention to Stieltjes differential inclusions of the form

and we obtain an existence result which, to the best of our knowledge, is new even in the particular case when *g* is the identity, i.e. the case of usual derivatives—thus generalizing the results in [2]. Finally, in Sect. 4 we use the result we obtained for (1.2) to obtain a new existence result for (1.1) with discontinuous functions \(f(t,x)\).

## 2 Preliminares

Let \(g:\mathbb{R}\to \mathbb{R}\) be a nondecreasing left-continuous function. Let us recall the definition of the *g*-derivative introduced in [8]. To that end, we first introduce the following two sets: first, the set of points around which *g* is constant,

and, second, the set of discontinuity points of *g*, which can be expressed as

where \(g(t^{+})\) denotes the limit of *g* at *t* from the right.

Now the *g*-derivative of a real valued function \(x=x(t)\) at a point \(t \in \mathbb{R} \setminus C_{g}\) is

provided that the corresponding limit exists.

Notice that we do not define *g*-derivatives at points \(t \in C_{g}\), nor is it necessary because \(C_{g}\) is a null-measure set for \(\mu _{g}\) (the Lebesgue–Stieltjes measure induced by *g*); see [8, Proposition 2.5]. Notice also that

In this paper we shall consider integration in the Lebesgue–Stieltjes sense, and we shall call “*g*-measurable” any function (or set) which is measurable with respect to the Lebesgue–Stieltjes *σ*-algebra generated by *g*.

The following concept of *g*-absolute continuity is crucial in this paper. We consider the maximum norm in \(\mathbb{R}^{n}\).

### Definition 2.1

Let \(a,b \in \mathbb{R}\), \(a< b\). We say that a function \(f:[a,b] \longrightarrow \mathbb{R}^{n}\) is *absolutely continuous with respect to**g**on*\([a,b]\) (or *g-absolutely continuous on*\([a,b]\), and we denote it by \(f \in {\mathcal{AC}}_{g}([a,b])\)) if to each \(\varepsilon >0\) there is some \(\delta >0\) such that, for any family \(\{(a_{n},b_{n})\}_{n=1}^{m}\) of pairwise disjoint open subintervals of \([a,b]\), the inequality

implies

Next we state the two versions of the fundamental theorem of calculus.

### Theorem 2.2

([8, Theorem 2.4, Proposition 5.2])

*Let*\(a,b \in \mathbb{R}\), \(a< b\), *and*\(c:[a,b) \longrightarrow \mathbb{R}^{n}\). *Assume that*\(c\in L^{1}_{g}([a,b))\), *the Banach space of Lebesgue–Stieltjes integrable functions with respect to*\(\mu _{g}\), *and consider its indefinite Lebesgue–Stieltjes integral*

*Then**C**is**g*-*absolutely continuous on*\([a,b]\)*and there is a**g*-*measurable set*\(N \subset [a,b]\)*such that*\(\mu _{g}(N)=0\)*and*

### Theorem 2.3

(Fundamental theorem of calculus for the Lebesgue–Stieltjes integral)

*Let*\(a,b \in \mathbb{R}\), \(a< b\), *and*\(f:[a,b] \longrightarrow \mathbb{R}^{n}\). *The following conditions are equivalent*.

- (1)
*The function**f**is**g*-*absolutely continuous on*\([a,b]\). - (2)
*The function**f**fulfills the following properties*:- (a)
*There exists*\(f'_{g}(t)\)*for**g*-*almost all*\(t\in [a,b)\) (*i*.*e*.,*for all*\(t\in [a,b)\)*except on a set of*\(\mu _{g}\)-*measure zero*). - (b)
\(f'_{g} \in L^{1}_{g}([a,b))\).

- (c)
*For each*\(t \in [a,b]\),*we have*$$ f(t)=f(a)+ \int _{[a,t)} f'_{g}(s) \,dg(s). $$(2.2)

- (a)

### Remark 2.4

Observe that \(f'_{g}(b)\) plays no role in Theorem 2.3. This is natural because \(\mu _{g}(\{b\})=0\) if \(b \notin D_{g}\) (so we do not have to worry about \(f'_{g}(b)\)), and if \(b \in D_{g}\) then \(f'_{g}(b)\) does not exist because \(f(t)\) is not defined for \(t>b\).

For more properties of *g*-absolutely continuous functions we refer to [7, 8]. For selfcontainedness, we include the following result.

### Proposition 2.5

([8, Proposition 5.3])

*If**f**is**g*-*absolutely continuous on*\([a,b]\), *then it has bounded variation and it is continuous from the left at every*\(t \in [a,b)\). *Moreover*, *f**is continuous in*\([a,b] \setminus D_{g}\), *and if**g**is constant on some interval*\((\alpha,\beta ) \subset [a,b]\), *then**f**is constant on*\((\alpha,\beta )\)*as well*.

Finally, we recall the concept of *g*-continuity and its relation with *g*-absolute continuity.

### Definition 2.6

Let \(f:[a,b] \longrightarrow \mathbb{R}^{n}\) and \(t\in [a,b]\). We say that *f**is**g-continuous at**t* if for every \(\varepsilon >0\) there exists \(\delta >0\) such that

We say that *f* is *g*-continuous on \([a,b]\) if it is *g*-continuous at every point \(t \in [a,b]\).

We denote by \({\mathcal{BC}}_{g}([a,b])\) the set of *g*-continuous bounded functions. It is proven in [7] that \({\mathcal{BC}}_{g}([a,b])\) is a Banach space with the supremum norm and, moreover, \(\mathcal{AC}_{g}([a,b])\subset \mathcal{BC}_{g}([a,b])\). We have the following sufficient condition for relative compactness of sets of *g*-absolutely continuous functions in \({\mathcal{BC}}_{g}([a,b])\)

### Proposition 2.7

([7, Proposition 5.6])

*Let*\({\mathcal{S}} \subset {\mathcal{AC}}_{g}([a,b])\)*be such that*\(\{f(a): f \in {\mathcal{S}}\}\)*is bounded*. *Assume that there exists*\(h \in L_{g}^{1}([a,b))\)*such that*

*Then*\({\mathcal{S}}\)*is relatively compact in*\({\mathcal{BC}}_{g}([a,b])\).

## 3 Stieltjes differential inclusions

Let \(t_{0},T\in \mathbb{R}\), \(T>0\), and consider the intervals

In this section we study the existence of \({\mathcal{AC}}_{g}\)-solutions of the problem

where \(x_{0}\in \mathbb{R}^{n}\) and \(F:J\times \mathbb{R}^{n}\to \mathcal{P}(\mathbb{R}^{n})\) are given, where \(\mathcal{P}(\mathbb{R}^{n})\) denotes the set of all subsets of \(\mathbb{R}^{n}\). Every multivalued mapping considered in this paper shall be assumed to be strict, i.e., to assume nonempty values.

### Definition 3.1

A solution of (3.2) is a function \(x\in \mathcal{AC}_{g}(I)\) such that \(x(t_{0})=x_{0}\) and

We shall prove an existence result for problem (3.2) by generalizing the ideas of [4], who studied the particular case when *g* is the identity and assumed upper semicontinuity of \(F(t,\cdot )\) on \(\mathbb{R}^{n}\) for a.a. \(t \in I\). In this paper, besides considering derivatives in a wider sense, we show that upper semicontinuity may fail at many points provided that they belong to the graph of another multivalued mapping satisfying some technical conditions with respect to *F*.

We shall base our arguments on the following new concept of contingent *g*-derivative for multivalued mappings. This concept is based on the analytical description of the contingent derivative in the usual sense given by [1, Proposition 2, p. 177].

### Definition 3.2

Let \(K:I_{K}\to \mathcal{P}(\mathbb{R}^{n})\) where \(I_{K}\) is a nonempty subset of the reals.

The *contingent**g-derivative of**K**at a point*\((t,x)\in \operatorname{graph}(K)\) is the set denoted by \(\operatorname{D}_{g}K(t,x)\) defined as follows: we say that \(v\in \operatorname{D}_{g} K(t,x)\) if there exist \(\{h_{k}\}_{k\in \mathbb{N}}\subset \mathbb{R}\), \(t+h_{k} \in I_{K}\) for \(k \in \mathbb{N}\), and \(\{x_{k}\}_{k\in \mathbb{N}}\subset \mathbb{R}^{n}\) such that

- 1.
\(h_{k}>0\) for all \(k\in \mathbb{N}\) and \(\{h_{k}\}_{k\in \mathbb{N}}\) converges to 0;

- 2.
\(x_{k}\in K(t+h_{k})\) for all \(k\in \mathbb{N}\) and

$$ \lim_{k\to \infty } \frac{x_{k}-x}{g(t+h_{k})-g(t)}=v. $$

### Remark 3.3

In the conditions of Definition 3.2, if \(t\notin D_{g}\), then \(\{x_{k}\}_{k\in \mathbb{N}}\) necessarily converges to *x*. Indeed, in that case we see that \(g(t+h_{k})\) converges to \(g(t)\) so

For a better understanding of this definition, let us consider \(K(t)=\{\gamma (t)\}\) for some \(\gamma: I_{\gamma }\to \mathbb{R}^{n}\). Then it follows directly from the definition that, if *γ* is *g*-differentiable from the right at a point \(t_{0}\in I_{\gamma }\), then \(\operatorname{D}_{g}K(t_{0},\gamma (t_{0}))=\{\gamma '_{g}(t_{0}) \}\). Remember that to be *g*-differentiable from the right is equivalent to being *g*-differentiable for points in \(D_{g}\).

Equipped with the notion of contingent *g*-derivative we can introduce our assumptions on \(F(t,x)\). We assume that \(F:J\times \mathbb{R}^{n}\to \mathcal{P}(\mathbb{R}^{n})\) satisfies the following conditions, in the spirit of [2]:

- (H1)
- (i)
for all \(t\in J \cap D_{g}\), \(F(t,\cdot )\) assumes convex and compact values and it is upper semicontinuous on \(\mathbb{R}^{n}\);

- (ii)
for

*g*-a.a. \(t \in J\setminus D_{g}\), \(F(t,x)\) is convex and compact for every \(x \in \mathbb{R}^{n} \setminus K(t)\), and \(F(t,\cdot )\) is upper semicontinuous on \(\mathbb{R}^{n} \setminus K(t)\), where the set \(K(t)\) is either empty, or there exist \(K_{p}:I_{p}\subset J \setminus D_{g} \longrightarrow {\mathcal{P}}( \mathbb{R}^{n})\), \(p\in \mathbb{N}\), such that$$ K(t)=\bigcup_{\{p: t \in I_{p}\}}K_{p}(t), $$and if \(x \in K_{p}(t)\) for some

*p*, then$$ \bigcap_{r>0}^{\infty }\overline{ \operatorname{co}}F \bigl(t,B_{r}(x) \bigr) \cap \operatorname{D}_{g}K_{p}(t,x) \subset F(t,x), $$(3.3)where \(\overline{\operatorname{co}}\) means closed convex hull and \(B_{r}(x)\) is the open ball centered at

*x*with radius \(r>0\);

- (i)
- (H2)
for all \(x\in \mathbb{R}^{n}\), there exists a

*g*-measurable selection of \(F(\cdot, x)\), that is, there exists a*g*-measurable function \(f_{x}:J\to \mathbb{R}^{n}\) such that \(f_{x}(t)\in F(t,x)\) for*g*-a.a. \(t\in J\); - (H3)
there exists \(M\in L^{1}_{g}(J,[0,\infty ))\) such that, for all \(x\in \mathbb{R}^{n}\) and

*g*-a.a. \(t\in J\),$$ \Vert y \Vert \le M(t) \quad\text{for any }y\in F(t,x). $$

### Remark 3.4

Note that (H3) ensures that the *g*-measurable selections in (H2) are *g*-integrable on *J*. Indeed, let \(x\in \mathbb{R}^{n}\) be fixed and \(f_{x}\) a selection in the conditions of (H2). Then \(f_{x}(t)\in F(t,x)\) for *g*-a.a. \(t\in J\), so (H3) implies that

First, we recall the following result that characterizes weakly sequentially compact sets of integrable functions (see [6, Theorem IV.8.9]).

### Theorem 3.5

*Let*\((X,\mathcal{M}, \mu )\)*be a measure space and let*\(L^{1}_{\mu }(X)\)*denote the set of**μ*-*integrable functions*. *A set*\(\mathcal{S}\subset L^{1}_{\mu }(X)\)*is weakly sequentially compact if and only if*

- 1.
\(\mathcal{S}\)

*is bounded*; - 2.
*for each*\(\{E_{m}\}_{m\in \mathbb{N}}\subset \mathcal{M}\)*such that*\(E_{m+1}\subset E_{m}\), \(m\in \mathbb{N}\),*and*\(\bigcap_{m\in \mathbb{N}} E_{m}=\emptyset \),*we have*$$ \lim_{m\to \infty } \int _{E_{m}} f \,d\mu =0 \quad\textit{uniformly for }f\in \mathcal{S}. $$

We also need [6, Corollary V.3.14], a result that ensures that it is possible to obtain a sequence converging strongly to a point in a Banach space from one that converges weakly to that same point.

### Theorem 3.6

*Let**X**be a Banach space and*\(\{x_{m}\}_{m\in \mathbb{N}}\)*a sequence in**X**converging weakly to**x*. *Then some sequence of convex combinations of the elements*\(x_{m}\)*converges strongly to**x*.

Finally, we recall the following elementary topological property that will be key for the proof of the main result of this section.

### Lemma 3.7

*Let*\(S\subset \mathbb{R}^{n}\)*be a compact set in the usual topology and let*\(x\in \mathbb{R}^{n}\setminus S\). *Then there exists*\(\varepsilon _{0}>0\)*such that*\(x\notin S+B_{\varepsilon_{0}}(0)\).

### Proof

The mapping \(\varphi (y)= \|x-y\|\) is continuous on \(\mathbb{R}^{n}\). Since *S* is compact, *φ* attains a minimum in *S*, i.e., there exists \(y_{0} \in S\) such that \(\|x-y\| =\varphi (y)\ge \varphi (y_{0})\) for all \(y \in S\) and \(\varphi (y_{0})>0\) because \(x \neq y_{0}\). Therefore \(x\notin S+B_{\varepsilon_{0}}(0)\) for \(\varepsilon _{0}=\varphi (y_{0})\). □

We can now state and prove the following lemma that gives us some information about pointwise limits of sequences of *g*-absolutely continuous functions and their *g*-derivatives. This result can be seen as a generalization of [4, Theorem 4.1].

### Lemma 3.8

*Let**I**and**J**be as in* (3.1) *and let*\(x_{k}:I\to \mathbb{R}^{n}\), \(k\in \mathbb{N}\), *be a sequence of functions such that*

- (i)
\(x_{k}\in \mathcal{AC}_{g}(I)\), \(k\in \mathbb{N}\);

- (ii)
\(x_{k}(t)\to x(t)\)

*for all*\(t\in I\)*for some*\(x:I\to \mathbb{R}^{n}\); - (iii)
*there exists*\(L\in L^{1}_{g}(J)\)*such that for every*\(k \in \mathbb{N}\)*we have*$$ \bigl\Vert (x_{k})'_{g}(t) \bigr\Vert \le L(t), \quad g\textit{-a.a. }t \in J. $$

*Then*\(x\in \mathcal{AC}_{g}(I)\)*and*

### Proof

Consider the set \(\mathcal{S}=\{ (x_{k})'_{g}:k\in \mathbb{N}\}\subset L^{1}_{g}(J)\), which is bounded thanks to condition (iii). Moreover, \(\mathcal{S}\) satisfies 2 in Theorem 3.5. Indeed, let us denote by \(\mathcal{LS}_{g}(J)\) the Lebesgue–Stieltjes *σ*-algebra on *J* induced by *g* and define

Then [10, Theorem 1.29] ensures that *ν* is a measure, and so given any sequence of *g*-measurable sets \(\{E_{m}\}_{m\in \mathbb{N}} \subset J\) under the hypotheses of 2 in Theorem 3.5, we have

Now, condition (iii) implies that condition 2 in Theorem 3.5 holds.

Hence, \(\mathcal{S}\) is weakly sequentially compact. Thus there exists a subsequence \(\{(x_{k_{l}})'_{g}\}_{l\in \mathbb{N}}\) converging weakly to a function, say \(y\in L^{1}_{g}(J)\), which implies that for every \(t \in I\) we have

Hence \(x\in \mathcal{AC}_{g}(I)\) and \(x'_{g}(t)=y(t)\) for *g*-a.a. \(t\in I\), see Theorem 2.2.

Now, Theorem 3.6 ensures the existence of a sequence of convex combinations of \((x_{k_{l}})'_{g}\), which we denote by \(\{y_{j}\}_{j\in \mathbb{N}}\), converging strongly in \(L^{1}_{g}(J)\) to *y*. Hence, there exists a subsequence \(\{y_{j_{q}}\}_{q\in \mathbb{N}}\) such that \(y_{j_{q}}(t)\to y(t)\) for *g*-a.a. \(t\in J\). For every \(q \in \mathbb{N}\) we have

so going to the limit as *q* tends to infinity, we get

Moreover, since for each fixed \(i\in \mathbb{N}\) the sequence \(\{x_{k}\}_{k=i}^{\infty }\) also converges to *x*, a repetition of the previous arguments shows that

Hence,

□

We now have all the necessary tools to prove the following existence result for (3.2). To the best of the authors’ knowledge, this result is new even in the particular case of \(g(t)=t\), i.e., when *g*-derivatives reduce to derivatives in the usual sense.

### Theorem 3.9

*Let*\(F:I\times \mathbb{R}^{n}\to \mathcal{P}(\mathbb{R}^{n})\)*satisfy* (H1)–(H3). *Then* (3.2) *has at least a solution*.

### Proof

Consider the sequence \(x_{k}:[t_{0},t_{0}+T]\to \mathbb{R}^{n}\), \(k\in \mathbb{N}\), defined as follows: for each \(k\in \mathbb{N}\), denote \(t_{k,j}=t_{0}+ jT/k\), \(j=0,1,2,\dots, k\). Define \(x_{k}(t_{0})=x_{0}\),

where \(f_{k,j}\) is a *g*-measurable selection of \(F(\cdot, x_{k}(t_{k,j}))\), \(j=0,1,2,\dots, k-1\), whose existence is guaranteed by (H2). Then, if we define \(f_{k}:[t_{0},t_{0}+T)\to \mathbb{R}^{n}\) as

it follows that

Moreover, Remark 3.4 ensures that \(f_{k}\in L^{1}_{g}([t_{0},t_{0}+T))\) and so \(\{x_{k}\}_{k\in \mathbb{N}}\) is well-defined and Theorem 2.2 implies that \(x_{k}\in \mathcal{AC}_{g}(I)\) and \(x'_{g}(t)=f_{k}(t)\) for *g*-a.a. \(t \in J\).

Note that \(\{x_{k}(t_{0}): k\in \mathbb{N}\}=\{x_{0}\}\) and for every \(k \in \mathbb{N}\) we have

so Proposition 2.7 guarantees that \(\{x_{k}\}_{k\in \mathbb{N}}\) is a relatively compact subset of \(\mathcal{BC}_{g}([t_{0},t_{0}+T])\). Therefore, there exists a subsequence converging to a function, say *x*. Clearly, \(x(t_{0})=x_{0}\). Moreover, applying Lemma 3.8 to such subsequence, we deduce that \(x\in \mathcal{AC}_{g}(I)\) and there exists \(E\subset J\) such that \(\mu _{g}(E)=0\) and

Let us prove that

Fix \(t \in J \setminus E\); for each \(k\in \mathbb{N}\), we can find \(i_{k}\in \{0,1,2,\dots, k-1\}\) such that \(t\in [t_{k,i_{k}}, t_{k,i_{k}+1})\). Hence,

Moreover, note that \(t_{k,i_{k}}\) converges to *t* from the left as \(k \to \infty \), because

Therefore, since each \(x_{k}\) is left-continuous (see Proposition 2.5) and \(x_{k}(t)\) converges to \(x(t)\), it follows that \(x_{k}(t_{k,i_{k}})\) converges to \(x(t)\). Hence, for every \(r>0\) there exists \(k_{0}\in \mathbb{N}\) such that

and therefore (3.5) yields

This implies (3.4) because \(r>0\) was arbitrary.

Now we are ready for the proof of \(x'_{g}(t)\in F(t,x(t))\) for *g*-a.a. \(t\in J\setminus E\). We start by removing some inconvenient *g*-null measure sets from \(J\setminus E\). For each \(p\in \mathbb{N}\), define the set

For every \(t \in A_{p}\) take the greatest \(\varepsilon _{t}\) possible in the conditions of the definition of \(A_{p}\). The infinite sum

is convergent (bounded by the length of the interval *J*) and therefore, at most a countable set of \(\varepsilon _{t}\) can be positive. Hence \(\mu _{g}(A_{p})=0\) because \(A_{p}\) is countable and contains no discontinuity points of *g*.

We consider the *g*-null measure set \(\hat{E}=E \cup A_{1} \cup A_{2} \cup \cdots \) and, without loss of generality, we assume that condition (H1) (ii) is satisfied for all \(t \in J \setminus (\hat{E} \cup D_{g})\).

Now we fix \(t \in J \setminus \hat{E}\) and we consider two cases to prove that \(x'_{g}(t) \in F(t,x(t))\).

*Case I:*\(t \in J \setminus (\hat{E} \cup D_{g})\)*and*\(x(t) \in K_{p}(t)\)*for some*\(p \in \mathbb{N}\)*.* Since \(t \notin A_{p}\), there exist numbers

then the definition of contingent *g*-derivative ensures that

Thus, condition (H1)(ii) implies that \(x'_{g}(t) \in F(t,x(t))\).

*Case II.*\(t \in J\cap D_{g}\)*or*\(t \in J \setminus (\hat{E} \cup D_{g})\)*and*\(x(t) \notin K(t)\)*.* In both cases, condition (H1) ensures that \(F(t,x(t))\) is convex and compact and \(F(t,\cdot )\) is usc at \(x(t)\).

Reasoning by contradiction, assume that \(x'_{g}(t) \notin F(t,x(t))\). Then, since \(F(t,x(t))\) is a compact subset of \(\mathbb{R}^{n}\), Lemma 3.7 implies that there exists \(\varepsilon _{0}>0\) such that

Moreover, since \(F(t,\cdot )\) is usc, it is *ε*-*δ*-usc (see [5, Proposition 1.1]), so there exists \(\delta >0\) such that

Take \(k_{0}\in \mathbb{N}\) such that

Then (3.8) yields

Now, since \(F(t,x(t))+\overline{B_{\varepsilon_{0}/2}(0)}\) is a convex and closed set, it follows that

and we deduce from (3.5) that \(x'_{g}(t)\in F(t,x(t))+B_{\varepsilon_{0}}(0)\), a contradiction with (3.7). □

The result of Theorem 3.9 may fail if (3.3) is not satisfied just at one point as we show in the following example.

### Example 3.10

Problem (3.2) with \(g(t)=t\), \(t_{0}=0\), \(T=1\), \(x_{0}=0\), and

has no solution. Observe that \(F(t,\cdot )\) assumes convex and compact values and it is usc on \(\mathbb{R} \setminus \{0\}\).

In this case we should take \(K(t)=\{0\}\) for all \(t \in [0,1]\), and we have

Our next example shows that Theorem 3.9 is so general that it can be applied in cases where the nonlinear part is not usc or convex and compact valued on dense subsets of \(\mathbb{R}^{n}\). Once again we consider the particular case of \(g(t)=t\) to highlight that Theorem 3.9 is new even in the classical setting of usual derivatives.

### Example 3.11

We shall construct an ill-behaved multivalued mapping \(F:[0,1] \times \mathbb{R} \longrightarrow {\mathcal{P}}(\mathbb{R})\) using a function \(\varphi: \mathbb{R} \longrightarrow \mathbb{R}\) which is discontinuous at every rational number.

First, consider a bijection \(r: \mathbb{N} \longrightarrow \mathbb{Q}\), denote \(r_{p}=r(p)\) for each \(p \in \mathbb{N}\), and define

Obviously, \(0< \varphi (x) < 1\) for all \(x \in \mathbb{R}\) and *φ* is increasing. Moreover, *φ* is continuous at every irrational and discontinuous at every rational. More precisely, for each \(p \in \mathbb{N}\) we have

This implies that we can find \(\delta _{p} >0\) such that

Now we fix \(\lambda \in (0,1)\) and we define \(F(t,x)\) for a.a. \(t \in I=[0,1]\) and all \(x \in \mathbb{R}\) as follows:

where

Note that *F* is not explicitly defined for \(t \in C=\{(2l)^{-1}: l\in \mathbb{N}\}\cup \{0\}\), nor is it necessary as it is countable, and thus \(m(C)=0\). We shall show that the hypotheses of Theorem 3.9 are satisfied regardless of the values of *F* on \(C\times \mathbb{R}\). Also note that \(F(t,x)\) is neither convex nor compact if \(t \in A\) and \(x \in \mathbb{Q}\) or if \(t \in B\) and \(x-t \in \mathbb{Q}\). Moreover, if \(t \in A\), then \(F(t,\cdot )\) is not usc at rational numbers because *φ* jumps upwards at rationals.

Clearly, (H3) is satisfied with \(M(t)=1\), \(t \in [0,1]\). Condition (H2) is easy to check: for each fixed \(x \in \mathbb{R} \setminus \mathbb{Q}\), we can take the selection \(f_{x}(t)=\varphi (x)\) for \(t \in A\), and \(f_{x}(t)=-\varphi (x-t)\) for \(t \in B\). Observe that \(f_{x}(t)\) may not be an element of \(F(t,x)\) on \(C_{x}=\{t \in B: x-t \in \mathbb{Q}\}=B \cap (x-\mathbb{Q})\), but this does not matter because \(C_{x}\) is a countable set. For the case \(x \in \mathbb{Q}\), just take any \(q \in (\lambda \varphi (x),\varphi (x)) \cap \mathbb{Q}\) and consider \(f_{x}(t)= q\) for \(t \in A\), \(f_{x}(t)=-\varphi (x-t)\) for \(t \in B\). In any case, \(f_{x}\) is piecewise monotone, hence measurable.

Now for condition (H1). Define

where, for each \(p \in \mathbb{N}\),

Clearly, \(\operatorname{D}K_{p}(t,r_{p})=\{0\}\) for all \(t \in A\), and

For a.a. \(t \in I\) and every \(x \in \mathbb{R} \setminus K(t)\), the set \(F(t,x)\) is closed and convex.

Let us prove that, for a.a. \(t \in I\), the multivalued mapping \(F(t,\cdot )\) is usc at every fixed \(x \in \mathbb{R} \setminus K(t)\). If \(t \in A\), then *φ* is continuous at *x*, so for each \(\varepsilon >0\) there exists \(\delta >0\) such that

Hence, if \(t \in A\), and \(|y-x| < \delta \), then

The proof is similar for \(t \in B\), but the only difference is that we have to use the fact that *φ* is continuous at \(x-t\), because \(x \notin K_{p}(t)=\{t+r_{p}\}\) for any *p*.

Finally, we have to check that (3.3) holds. If \(t \in A\), then, for each fixed \(p \in \mathbb{N}\), there exists \(\delta _{p}>0\) such that (3.9) holds if \(|y-r_{p}| < \delta _{p}\). Then, if \(|y-r_{p}| < \delta _{p}\) and \(z \in F(t,y) \subset [\lambda \varphi (y),\varphi (y)]\), then

Hence

which implies that

Then the intersection in (3.3) is empty and therefore condition (3.3) holds.

Checking condition (3.3) for \(t \in B\) and \(x=t+r_{p}\) for some *p* is easier. Clearly,

and \(DK_{p}(t,t+r_{p})=\{1\}\).

## 4 An existence result for Stieltjes differential equations

Let the intervals *I* and *J* be as in (3.1) and consider the following initial value problem:

As a corollary of Theorem 3.9 we obtain the following existence principle for (4.1).

### Theorem 4.1

*Let*\(f:J\times \mathbb{R}^{n}\to \mathbb{R}^{n}\)*satisfy* (i), (ii) *and*

- (i)
*for all*\(x\in \mathbb{R}^{n}\),*the map*\(f(\cdot,x)\)*is**g*-*measurable*; - (ii)
*there exists*\(L\in L^{1}_{g}(J,[0,\infty ))\)*and*\(N\subset J\)*with*\(\mu _{g}(N)=0\),*such that*$$ \bigl\Vert f(t,x) \bigr\Vert \le L(t), \quad\textit{for all }x\in \mathbb{R}^{n} \textit{ and all }t\in J\setminus N; $$ - (iii)
*for all*\(t\in J\setminus (N\cup D_{g})\), \(f(t,\cdot )\)*is continuous on*\(\mathbb{R}^{n}\setminus K(t)\),*where*\(K(t)=\bigcup_{p=1}^{\infty }K_{p}(t)\),*and for each*\(p \in \mathbb{N}\)*and*\(x\in K_{p}(t)\),*we have*$$ \bigcap_{r>0}^{\infty }\overline{ \operatorname{co}}f \bigl(t,B_{r}(x) \bigr) \cap \operatorname{D}_{g}K_{p}(t,x) \subset \bigl\{ f(t,x) \bigr\} ; $$(4.2) - (iv)
*for all*\(t\in D_{g}\), \(f(t,\cdot )\)*is continuous on*\(\mathbb{R}^{n}\).

*Then the initial value problem* (4.1) *has at least one solution*.

To conclude this section, we present the following example in which is possible to apply the previous result to obtain the existence of solution for the corresponding initial value problem.

### Example 4.2

Let \(g:\mathbb{R}\to \mathbb{R}\) be a nondecreasing left-continuous map, *φ* as in Example 3.11 and *ψ* a continuous function such that \(\psi ^{-1}(\mathbb{Q})\) is countable. Define \(f:J\times \mathbb{R}\to \mathbb{R}\) as

with \(\alpha >0\), \(\beta \in (-\infty, -\alpha )\cup (0,+\infty )\). Note that \(0< f(t,x)<1\) for all \((t,x)\in J\times \mathbb{R}\), so

for all \((t,x)\in J\times \mathbb{R}\). Consider the initial value problem

Let us show that the previous problem has at least a solution by proving that the hypotheses of Theorem 4.1 are satisfied.

Conditions (ii) and (iv) follow directly from the definition of *f*. For condition (i), fix \(x\in \mathbb{R}\). The map

is Borel-measurable as it is the composition of Borel-measurable maps. Hence, it is *g*-measurable as the Borel *σ*-algebra is contained in the Lebesgue–Stieltjes *σ*-algebra defined by *g*.

Finally, for condition (iii), write \(\psi ^{-1}(\mathbb{Q})=\{s_{p}:p\in \mathbb{N}\}\) and define \(\gamma _{p}:J\to \mathbb{R}\), \(p\in \mathbb{N}\), as

\(K_{p}:J\to \mathcal{P}(\mathbb{R})\), \(p\in \mathbb{N}\), as \(K_{p}(t)=\{\gamma _{p}(t)\}\) and \(K(t)=\bigcup_{p=1}^{\infty }K_{p}(t)\). Note that, for each \(p\in \mathbb{N}\), \(\gamma _{p}\) is *g*-differentiable everywhere in *J* and \(\gamma '_{g}(t)=-\beta /\alpha \), \(t\in J\). Therefore, \(\operatorname{D}_{g} K_{p}(t,\gamma _{p}(t))=\{-\beta /\alpha \}\), \(p\in \mathbb{N}\), so \(\operatorname{D}_{g} K_{p}(t,\gamma _{p}(t))\subset (-\infty,0) \cup (1,+\infty )\), depending on the value of *β*.

Fix \(t\in J\setminus D_{g}\). If \(x\in K_{p}(t)\) for some \(p\in \mathbb{N}\), then the intersection in (4.2) is empty, so the condition is trivially satisfied. On the other hand, if \(x\in \mathbb{R}\setminus K(t)\), it follows that \(\psi (\alpha x+\beta g(t))\notin \mathbb{Q}\) since

Hence *φ* is continuous at \(\psi (\alpha x+\beta g(t))\) and so \(f(t,\cdot )\) is continuous at *x* as it is the composition of continuous functions. That is, the hypotheses of Theorem 4.1 are satisfied and so the initial value problem has at least a solution.

## References

Aubin, J.P., Cellina, A.: Differential Inclusions. Springer, Berlin (1984)

Cid, J.Á., López Pouso, R.: Ordinary differential equations and systems with time-dependent discontinuity sets. Proc. R. Soc. Edinb., Sect. A

**134**(4), 617–637 (2004)Daniell, P.J.: Differentiation with respect to a function of limited variation. Trans. Am. Math. Soc.

**19**(4), 353–362 (1918)Davy, J.L.: Properties of the solution set of a generalized differential equation. Bull. Aust. Math. Soc.

**6**, 379–398 (1972)Deimling, K.: Multivalued Differential Equations. de Gruyter, Berlin (1992)

Dunford, N., Schwartz, J.T.: Linear Operators, Part I. Wiley, New York (1958)

Frigon, M., López Pouso, R.: Theory and applications of first-order systems of Stieltjes differential equations. Adv. Nonlinear Anal.

**6**(1), 13–36 (2017)López Pouso, R., Rodríguez, A.: A new unification of continuous, discrete, and impulsive calculus through Stieltjes derivatives. Real Anal. Exch.

**40**(2), 319–354 (2015)Monteiro, G.A., Satco, B.: Extremal solutions for measure differential inclusions via Stieltjes derivatives. Adv. Differ. Equ.

**2019**, 239 (2019)Rudin, W.: Real and Complex Analysis. McGraw-Hill, New York (1987)

### Acknowledgements

The authors would like to thank the anonymous referees for their encouraging reports and comments, which helped to improve this manuscript.

### Availability of data and materials

Not applicable.

## Funding

Rodrigo López Pouso was partially supported by Ministerio de Economía y Competitividad, Spain, and FEDER, Project MTM2016-75140-P and Xunta de Galicia under grant ED431C 2019/02. Ignacio Márquez Albés was partially supported by Ministerio de Economía y Competitividad, Spain, and FEDER, Project MTM2016-75140-P and Xunta de Galicia under grants ED481A-2017/095 and ED431C 2019/02. Jorge Rodríguez–López was partially supported by Ministerio de Economía y Competitividad, Spain, and FEDER, Project MTM2016-75140-P and Xunta de Galicia under grants ED481A-2017/178 and ED431C 2019/02.

## Author information

### Authors and Affiliations

### Contributions

All authors contributed equally to the different parts of the manuscript. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

López Pouso, R., Márquez Albés, I. & Rodríguez-López, J. Solvability of non-semicontinuous systems of Stieltjes differential inclusions and equations.
*Adv Differ Equ* **2020**, 227 (2020). https://doi.org/10.1186/s13662-020-02685-y

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-020-02685-y