Strong Solvability of a Unilateral Boundary Value Problem for Nonlinear Parabolic Operators

Strong solvability in Sobolev spaces is proved for a unilateral boundary value problem for nonlinear parabolic operators. The operator is assumed to be of Carathéodory type and to satisfy a suitable ellipticity condition; only measurability with respect to the independent variable X is required. The main tools of the proof are an estimate for the second derivatives of functions which satisfy the unilateral boundary conditions and the monotonicity of the operator − u _t with respect to Δu for the same functions.