Computational error bounds for a differential linear variational inequality (Q2902198)

This paper first gives a numerical verification method for computing error bounds of approximate solutions generated by the time-stepping method. The novelty of this method is the use of computable error bounds for the variational inequality and the Euler method to define computable Lipschitz constants for the solutions of the differential linear variational inequality problem. The Lipschitz constants are necessary to derive computable and sharper error bounds for the approximate solutions generated by the time-stepping method. In many applications it is not possible to find an exact solution of the differential linear variational inequality problem. Using this verification method the authors have determined the existence region of the exact solution.NEWLINENEWLINEThe results of the paper are interesting and may be applicable to many cases of corporal interests. All researchers of the topic may benefit from this paper.