TY - JOUR
T1 - Numerical verification of solutions for elasto-plastic torsion problems
AU - Nakao, M. T.
AU - Lee, S. H.
AU - Ryoo, Cheon Seoung
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0034140203&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0034140203&partnerID=8YFLogxK
U2 - 10.1016/S0898-1221(99)00345-4
DO - 10.1016/S0898-1221(99)00345-4
M3 - Article
AN - SCOPUS:0034140203
VL - 39
SP - 195
EP - 204
JO - Computers and Mathematics with Applications
JF - Computers and Mathematics with Applications
SN - 0898-1221
IS - 3-4
ER -