Stability analysis with respect to two measures of impulsive systems under structural perturbations (Q4939731)

Let \(\text{conv}\mathbb E^n\) denotes the space of nonempty convex and compact subsets of the Euclidean space \((\mathbb E^n,\|\cdot \|)\) endowed with the Hausdorff metric \(\delta(\cdot,\cdot)\). The author considers a differential inclusion of the form \[ D_0^\alpha u(x)\in F(x,u(x)) \tag{1} \] with the initial condition \[ I_0^{1-\alpha }u(0)=u_0.\tag{2} \] Here, \(\alpha \in(0,\infty)\) and the operations of fractional differentiation \(D_0^\alpha,\) and fractional integration \(I_0^\alpha \) are defined as follows: \[ I_0^\alpha f(x)=(\Gamma(\alpha))^{-1}\int_{0}^{x}(x-t)^{\alpha -1}f(t) dt,\quad D_0^\alpha f(x)=dI_0^{1-\alpha}f(x)/dx. \] It is assumed that \(F(\cdot,u):[0,a] \mapsto \text{conv }\mathbb E^n\) is measurable for any \(u\in\mathbb E^n\), \(F(t,\cdot):\mathbb E^n \mapsto \text{conv }\mathbb E^n\) is upper semicontinuous for almost all \(x\in[0,a]\), and \(|F(x,u)|=\delta(F(x,u),0)\leq M\) for some \(M>0\). The author proves that the set of solutions to problem (1)--(2) is a nonempty compact subset in the space of continuous mappings \(u:(0,a) \mapsto \mathbb E^n\) satisfying the condition \(\lim_{x\to +0}x^{1-\alpha }z(x)<\infty\).