Continuous version of Filippov-Wažewski relaxation theorem (Q1181685)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 28690
Language Label Description Also known as
default for all languages
No label defined
    English
    Continuous version of Filippov-Wažewski relaxation theorem
    scientific article; zbMATH DE number 28690

      Statements

      Continuous version of Filippov-Wažewski relaxation theorem (English)
      0 references
      27 June 1992
      0 references
      The paper deals with a differential inclusion (1) \(x'(t)\in F(t,x,s)\), \(x(0)=\xi(s)\) in a separable Banach space. Let \(R(s)\) denote the set of all solutions of (1). For \(F\) Lipschitz in \(x\) and lower semicontinuous in \(s\) with non-empty closed and bounded values it is proved that for every continuous selection \(y(\centerdot,s)\) of \(clR(s)\) (which is in fact the solution set for the convexified problem as follows from the Filippov-Wažewski relaxation theorem) and for every \(\varepsilon>0\) there exists a continuous selection \(x(\centerdot,s)\) of \(R(s)\) such that \(\| y(\cdot,s)-x(\cdot,s)\|_ C\leq\varepsilon\) for every \(s\in S\). The proof of this theorem is based on a theorem concerning continuous selection of Aumann integral. Namely, it is proved that for a lower semicontinuous map \(K:S\mapsto D\) (\(S\) denotes a separable metric space and \(D\) stands for all nonempty closed decomposable subsets of \(L^ 1\)) and for every continuous selection \(l(s)\in cl\int_ TK(s)\) and any \(\varepsilon>0\) there exists a continuous selection \(k(s)\in K(s)\) such that \(| l(s)-\int_ Tk(s)(t)d\mu|<\varepsilon\) for all \(s\in S\).
      0 references
      decomposable sets
      0 references
      differential inclusion
      0 references
      Banach space
      0 references
      Filippov- Wažewski relaxation theorem
      0 references
      continuous selection
      0 references

      Identifiers