Averaging Method for One-Sided Lipschitz Differential Inclusions with Generalized Solutions

From MaRDI portal





Consider the singularly perturbed multivalued Cauchy problem \[ \left( \dot x(t) \varepsilon\dot y(t)\right)\in H(t,x(t),y(t)), \quad x(0)=x^0, y(0)=y^0, \tag{1} \] with \(\varepsilon >0\), \(x\in \mathbb{R}^n\), \(y\in \mathbb{R}^m\). The solution set \(Z(\varepsilon)\) consists of all absolutely continuous functions \((x,y)\) which satisfy (1) almost everywhere. Similarly, one defines the solution set \(Z(0)\) to the problem \[ \left (\dot x(t) \right) \in H(t,x(t),y(t)), \quad x(0)=x^0. \] Here, the \(y\)-part of the solution set is supposed to be embedded in the space of Radon probability measure. A first result proves then the upper continuity of \(Z(\varepsilon)\) at \(\varepsilon=0^+\) in an appropriate topology. Other results concern the particular case \[ \dot x\in F(t,x,y,u(t)),\quad x(0)=x^0,\quad \varepsilon\dot y\in G(x,y,u(t)),\quad y(0)=y^0. \] Using the fast inclusion \[ \dot y\in G(x,y(\tau),u(\tau)), \quad y(0)\in Q, u(\tau) \in U, \] an averaging technique and one-sided Lipschitz conditions, the authors define the slow inclusion \[ \dot x\in V(t,x), \quad x(0)=x^0, \tag{2} \] and prove that the slow part of the solution, i.e. the projection of \(Z(\varepsilon)\) on \(\mathbb{R}^n\) converges in the \(\mathcal C\)-topology to the solution set to (2). At last, it is proved that \(Z(\varepsilon)\) has a Kuratowski limit.











This page was built for publication: Averaging Method for One-Sided Lipschitz Differential Inclusions with Generalized Solutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699139)