Numerical verification of solutions for variational inequalities of the second kind

C. S. Ryoo, M. T. Nakao

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)1371-1380
Number of pages10
JournalComputers and Mathematics with Applications
Volume43
Issue number10-11
DOIs
Publication statusPublished - 2002 May
Externally publishedYes

Fingerprint

Numerical Verification
Variational Inequalities
Plastics
Pipe
Fluid
A Priori Error Estimates
Fluids
Finite Element Approximation
Numerical Computation
Existence of Solutions
Exact Solution
Numerical Examples

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

Cite this

Numerical verification of solutions for variational inequalities of the second kind. / Ryoo, C. S.; Nakao, M. T.

In: Computers and Mathematics with Applications, Vol. 43, No. 10-11, 05.2002, p. 1371-1380.

Research output: Contribution to journalArticle

@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 = "5",
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

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 -