TY - JOUR
T1 - Numerical verification of solutions for variational inequalities of the second kind
AU - Ryoo, C. S.
AU - Nakao, M. T.
PY - 2002/5
Y1 - 2002/5
N2 - The purpose of this paper is to present an approach to the numerical proof of existence of solutions for the problem of the flow of a viscous plastic fluid in a pipe. Using the finite element approximations and the explicit a priori error estimates for the problem of the flow of a viscous plastic fluid in a pipe, we present an effective verification procedure that, through numerical computation, generates a set which includes the exact solution. Further, a numerical example is presented.
AB - The purpose of this paper is to present an approach to the numerical proof of existence of solutions for the problem of the flow of a viscous plastic fluid in a pipe. Using the finite element approximations and the explicit a priori error estimates for the problem of the flow of a viscous plastic fluid in a pipe, we present an effective verification procedure that, through numerical computation, generates a set which includes the exact solution. Further, a numerical example is presented.
KW - Error estimates
KW - Finite element method
KW - Numerical verification method
KW - Variational inequalities of the second kind
UR - http://www.scopus.com/inward/record.url?scp=0036567130&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0036567130&partnerID=8YFLogxK
U2 - 10.1016/S0898-1221(02)00105-0
DO - 10.1016/S0898-1221(02)00105-0
M3 - Article
AN - SCOPUS:0036567130
VL - 43
SP - 1371
EP - 1380
JO - Computers and Mathematics with Applications
JF - Computers and Mathematics with Applications
SN - 0898-1221
IS - 10-11
ER -