A weak convergence theorem in Sobolev spaces with application to Filippov's evolution equations (Q804934): Difference between revisions

Let \({\mathfrak H}\) be a real separable Hilbert space. A correspondence (=multivalued mapping) \(\Gamma: [0,T]\times {\mathfrak H}\twoheadrightarrow {\mathfrak H}\) is assumed to be given. The target of this paper is to establish a sufficient condition which assures the existence of solutions of a multivalued differential equation of the form: \[ (*)\quad \dot x(t)\in \Gamma (t,x(t)),\quad x(0)=a, \] where a is a fixed vector in \({\mathfrak H}\). We denote by \({\mathfrak H}_ s\) (resp. \({\mathfrak H_ w})\) the Hilbert space \({\mathfrak H}\) endowed with the strong (resp. weak) topology. Theorem 1. Let \({\mathfrak H}\) be a real separable Hilbert space and consider a sequence \(\{x_ n\}\) in the Sobolev space \({\mathfrak W}^{1,p}([0,T],{\mathfrak H})\) \((p\geq 1)\). Assume that (i) the set \(\{x_ n(t)\}^{\infty}_{n=1}\) is bounded (and hence relatively compact) in \({\mathfrak H}_ w\) for each \(t\in [0,T]\), and (ii) there exists some function \(\psi\in {\mathfrak L}^ p([0,T]\), \([0,+\infty))\) such that \(\| \dot x_ n(t)\| \leq \psi (t)\) a.e. Then there exists a subsequence \(\{z_ n\}\) of \(\{x_ n\}\) and some \(x^*\in {\mathfrak W}^{1,p}\) \(([0,T],{\mathfrak H})\) such that (a) \(z_ n\to x^*\) uniformly in \({\mathfrak H}_ w\) on \([0,T]\), and (b) \(\dot z_ n\to \dot x^*\) weakly in \({\mathfrak L}^ p([0,T],{\mathfrak H}).\) Define a set \(\Delta(a)\) in \({\mathfrak W}^{1,2}\) by \(\Delta(a)=\{x\in {\mathfrak W}^{1,2}|\) x satisfies (*) a.e.\(\}\) for a fixed \(a\in {\mathfrak H}\). The following theorem tells us that \(\Delta(a)\neq 0\) and that \(\Delta\) depends continuously, in some sense, upon the initial value a. Theorem 2. Assume that the correspondence \(\Gamma(t,x): [0,T]\times {\mathfrak H}_ w\twoheadrightarrow {\mathfrak H}_ s\) is compact-convex- valued, upper hemi-continuous in x, measurable in t, and \({\mathfrak L}^ 2\)-integrably bounded. Let A be a non-empty, convex and compact subset of \({\mathfrak H}_ s\). Then (i) \(\Delta(a^*)\neq 0\) for any \(a^*\in A\), and (ii) the correspondence \(\Delta: A\twoheadrightarrow {\mathfrak W}^{1,2}\) is compact-valued and upper hemi-continuous on A, in the weak topology for \({\mathfrak W}^{1,2}\).