Completely generalized multivalued nonlinear quasi-variational inclusions (Q1608209)

The authors consider the following problem, which they call ``completely generalized multivalued nonlinear quasi-variational inclusion'': given a Hilbert space \(H,\) single-valued mappings \(g,h:H\rightarrow H,\) non-linear mappings \(H\times H\rightarrow H\) and multivalued mappings \(A,B,C,D,E:H\rightrightarrows H,\) find \(u\in H,\) \(x\in A(u),\) \(y\in B(u),\) \(z\in C(u),\) \(v\in D(u),\) \(w\in E(u)\) such that \(g(u)-h(w)\in\text{dom}(W)\) and \[ f\in N(x,y)-M(z,y)+W(g(u)-h(w)). \] Under appropriate continuity and monotonicity assumptions, the authors prove the existence of a solution to the above problem, as well as the convergence of (formal) theoretical algorithms. They assert that these results improve and unify previous results of the same spirit obtained by other authors. The importance of these results, however, is not made sufficiently clear.