https://123dok.net/document/qmj5dv68-estimates-boundary-convergence-difference-discretization-parabolic-variational-inequality.html