A proof of the Lewy-Stampacchia's inequality by a penalization method (Q1275357)

The authors prove the Lewy-Stampacchia's inequality with obstacle involving fairly general Leray-Lions operators. The proof is based on the natural penalization method and is performed under weaker assumptions (pseudomonotonicity of operators instead of monotonicity and less regularity on data are required) comparing with those made in [\textit{F. Donati}, Nonlinear Anal., Theory Methods Appl. 6, 585-597 (1982; Zbl 0489.49006) and \textit{U. Mosco}, Nonlin. Oper. Calc. Var, Summer. Sch. Brux. 1975, Lect. Notes Math. 543, 83-156 (1976; Zbl 0346.49003)]. The results of the paper have been further improved recently by the authors [to be published in Atti. Sem. Mat. Fis. Univ. Modena 46, Suppl. dedicato a C. Vinti, 315-334 (1998)]. The bibliography contains 25 items.