Numerical verification of solutions for variational inequalities of the second kind

C. S. Ryoo; M. T. Nakao

doi:10.1016/S0898-1221(02)00105-0

Numerical verification of solutions for variational inequalities of the second kind

C. S. Ryoo^*, M. T. Nakao

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	1371-1380
Number of pages	10
Journal	Computers and Mathematics with Applications
Volume	43
Issue number	10-11
DOIs	https://doi.org/10.1016/S0898-1221(02)00105-0
Publication status	Published - 2002 May
Externally published	Yes

Keywords

Error estimates
Finite element method
Numerical verification method
Variational inequalities of the second kind

ASJC Scopus subject areas

Applied Mathematics
Computational Mathematics
Modelling and Simulation

Access to Document

10.1016/S0898-1221(02)00105-0

Cite this

@article{36dadffdb54b47009e52af60e076ba22,

title = "Numerical verification of solutions for variational inequalities of the second kind",

abstract = "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.",

keywords = "Error estimates, Finite element method, Numerical verification method, Variational inequalities of the second kind",

author = "Ryoo, {C. S.} and Nakao, {M. T.}",

year = "2002",

month = may,

doi = "10.1016/S0898-1221(02)00105-0",

language = "English",

volume = "43",

pages = "1371--1380",

journal = "Computers and Mathematics with Applications",

issn = "0898-1221",

publisher = "Elsevier Limited",

number = "10-11",

}

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

SN - 0898-1221

VL - 43

SP - 1371

EP - 1380

JO - Computers and Mathematics with Applications

JF - Computers and Mathematics with Applications

IS - 10-11

ER -

Numerical verification of solutions for variational inequalities of the second kind

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this