Solutions of implicit evolution inclusions with pseudo-monotone mappings (Q1590127)

The author considers the implicit differential inclusion \((Bx (t))'+ A(t,x(t))\ni f(t)\), \(Bx(0)=Bx_0\), in a real, separable Hilbert space \(V\). \(B:V\to V^*\) is assumed to be bounded, linear, symmetric and positive; \(A:[0,T] \times V\to 2^{V^*}\) is bounded, coercive, pseudo-monotone, measurable and closed-convex-valued; \(f\) is in \(L^q([0,T], V^*)\); and \(X_0\in V\). Theorem 3.2 proves the existence of bounded solutions. Corollary 3.5 applies this result to prove the existence of solutions to a certain second-order differential inclusion. Theorem 4.1 demonstrates that the mapping \(f\mapsto S(f)\), where \(S (f)\) is the solution set, is upper semicontinuous. In theorem 5.1, the existence of solutions is proven to the perturbed problem \((Bx(t))'+ A(t,x(t)) -G(t,x(t)) \ni f(t)\), \(Bx(0)=Bx_0\), using theorem 4.1, where \(G\) is closed-convex-valued, nonmonotone, measurable, and in its second variable upper semicontinuous.