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  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.
ASJC Scopus subject areas
- Modelling and Simulation
- Computational Theory and Mathematics
- Computational Mathematics