Limiting smoothness of the solution of a nonstationary problem with one or two obstacles

The regularity of the solution of a nonstationary problem with an obstable for various forms of parabolic operators has been thoroughly investigated. Under the condition of sufficient smoothness of the data of the problem, one proves that the solutionW _q ^2,1 (Q) belongs to the Sobolev space In the present paper one establishes that the limiting possible smoothness of the solution of a nonstationary problem with one or two obstacles is the boundedness of the second derivatives of the solution with respect to the spatial variables and of the first derivatives with respect to t. One assumes that the operator is linear and the functions defining the obstacles have the minimal possible smoothness.Translated from Problemy Matematicheskogo Analiza, No. 9, pp. 149–157, 1984.