Numerical verification of solutions for elasto-plastic torsion problems

In this paper, we consider a numerical technique which enables us to verify the existence of solutions for the elasto-plastic torsion problems governed by the variational inequality. Based upon the finite element approximations and the explicit a priori error estimates for a simple problem, we present an effective verification procedure that through numerical computation generates a set which includes the exact solution. This paper is an extension of the previous paper [1] in which we mainly dealt with the obstacle problems, but some special techniques are utilized to verify the solutions for nondifferentiable nonlinear equations concerned with the present problem. A numerical example is illustrated.