On the properties of solutions set for measure driven differential inclusions (Q260774): Difference between revisions

The paper is concerned with a so-called measure driven differential inclusions of the form \[ {\mathrm d}x(t)\in G(t,x(t))\,{\mathrm d}\mu(t),\quad x(0)=x_0,\eqno(1) \] where \(G\) is a multifunction defined on \([0,1]\times\mathbb R^d\) and taking values in \({\mathcal P}_{cb}(\mathbb R^d)\), the set of all nonempty convex compact subsets of \(\mathbb R^d\). The symbol \(\mu\) in (1) stands for a positive finite Borel measure on \([0,1]\). A~solution of the problem (1) is defined to be a function \(x:[0,1]\to\mathbb R^d\) for which there exists a \(\mu\)-integrable function \(g:[0,1]\to\mathbb R^d\) satisfying \[ x(t)=x_0+\int_{0}^tg(s)\,{\mathrm d}\mu(s),\quad t\in[0,1], \] and \(g(t)\in G(t,x(t-))\) \(\mu\)-almost everywhere. Existence of solutions to differential inclusions of the form (1) was considered in the earlier paper [``Measure differential inclusions -- between continuous and discrete'', Adv. Difference Equ. 2014, Article ID 56, 18 p. (2014; \url{doi:10.1186/1687-1847-2014-56})] by the same authors. The present article focuses on the dependence of the solution set on the choice of the measure~\(\mu\). The authors introduce the following type of convergence of measures: A sequence \(\{\mu_n\}_{n=1}^\infty\) is H-weakly\(^*\) convergent to \(\mu\) if \(\int_0^t F(s)\,{\mathrm d}(\mu_n-\mu)(s)\to\{0\}\) for every continuous multifunction \(F:[0,1]\to{\mathcal P}_{cb}(\mathbb R^d)\) (where the convergence as well as continuity is understood with respect to the Hausdorff metric). Returning to the problem (1), it is assumed that \(G(t,\cdot)\) is continuous for every \(t\in[0,1]\), \(G\) is Borel measurable, and there exists a continuous function \(M:[0,1]\to\mathbb R^+\) such that \(G(t,y)\subset M(t)B\) for all \((t,y)\in[0,1]\times\mathbb R^d\), where \(B\) stands for the closed unit ball in \(\mathbb R^d\). The main result of the paper then says that if \(\{\mu_n\}_{n=1}^\infty\) is H-weakly\(^*\) convergent to \(\mu\), then every sequence \(\{x_n\}_{n=1}^\infty\) of solutions of (1) with \(\mu\) replaced by \(\mu_n\) contains a subsequence that is convergent to a solution of (1). Moreover, the authors show that the subsequence is uniformly convergent if one assumes that the condition in the definition of H-weak\(^*\) convergence is uniform for all \(t\in[0,1]\). The results obtained in the paper seem to be new even for measure differential equations, i.e., in the special case when \(G\) is single-valued.