On a surjectivity for the sum of two mappings of monotone type (Q1084322)

Let \(T:D(T)\subset X\to 2^{X^*}\) be a generalized pseudomonotone mapping, \(S:D(S)\subset X\to 2^{X^*}\) a T-bounded and T-generalized pseudomonotone mapping. Then \((T+S)\) is generalized pseudomonotone on D(T)\(\cap D(S)\) (Theorem 2 in this paper). In particular, if T is maximal monotone and S is quasi-bounded generalized pseudomonotone or T-pseudomonotone (in the Browder's sense), then the above conclusion is valid, in addition, if S is finitely continuous and \((T+S)\) is coercive, then \((T+S)\) is surjective. We note that when T is monotone, T-boundedness is weaker than quasi-boundedness. Theorem 4 states that a quasi-bounded mapping of type (M) is weakly A- proper with respect to an injective approximation scheme. The following result is proved: Suppose that T and S satisfy the hypotheses of Theorem 2, and suppose further that there is a dense linear subspace \(X_ 0\) of X such that \(X_ 0\subset D(T)\cap D(S)\) and \((T+S)\) is quasi-bounded coercive. Then \(R(T+S)=X^*\).