Averaging of differential inclusions with many-valued pulses (Q4940596)

For the differential inclusion of a standard form with the multivalued impulses \[ {\dot x}\in\varepsilon X(t,x), \;t\not= t_{j}, \;x(0) \in K, \quad \Delta x_{t=t_{j}} \in \varepsilon I_{j}(x), \;j=1,2, \ldots , t_{j} < t_{j+1}, \tag{1} \] with \( x \in \mathbb{R}^{n}; \) \( \varepsilon > 0 \) is a small parameter; \( X: \mathbb{R}^{1} \times \mathbb{R}^{n} \to \text{conv} (\mathbb{R}^{n}), \) and \( I_{j}: \mathbb{R}^{n} \to \text{conv} (\mathbb{R}^{n}) \) are multivalued mappings; \( \text{conv} (\mathbb{R}^{n}) \) is a space of convex subsets of space \( \mathbb{R}^{n} \) with Hausdorff metric \( h( \cdot , \cdot ), \) the authors solve a problem of complete and partial averaging for the cases of a finite and an infinite interval. The partial averaged differential inclusion \[ {\dot \zeta} \in \varepsilon X(t,\zeta), \;t\not= s_{j}, \;\zeta (0) \in K, \quad \Delta \zeta_{t=s_{j}} \in \varepsilon K_{j}(\zeta), \;j=1,2, \ldots , s_{j} < s_{j+1}, \tag{2} \] with \( \zeta \in \mathbb{R}^{n}; \) \( {\widetilde X}: \mathbb{R}^{1} \times \mathbb{R}^{n} \to \text{conv} (\mathbb{R}^{n}), \) and \( K_{j}: \mathbb{R}^{n} \to \text{conv} (\mathbb{R}^{n}) \) satisfy the condition \[ \lim_{T \to \infty} h \left({{1}\over{T}}\int_{0}^{T} X(t,x) dt + {{1}\over{T}} \sum_{0 \leq t_{j} \leq T} I_{j}(x), {{1}\over{T}} \int_{0}^{T} {\widetilde X}(t,x) dt + {{1}\over{T}} \sum_{0 \leq s_{j} \leq T} K_{j}(x) \right) =0, \] corresponds to problem (1). Theorems of completeness in Hausdorff metric of appropriate solutions to problems (1) and (2) are given.