Numerical verification of solutions for obstacle problems

Cheon Seoung Ryoo, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

This article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same authors. We propose a method to prove the existence of solutions for more general obstacle problems by numerical computations. The main task in this paper consists of the numerical determination of some constants which appear in a priori error estimations for the finite element approximation of a simple variational inequality. We present a numerical example for verification.

Original languageEnglish
Pages (from-to)405-416
Number of pages12
JournalJournal of Computational and Applied Mathematics
Volume161
Issue number2
DOIs
Publication statusPublished - 2003 Dec 15
Externally publishedYes

Fingerprint

Numerical Verification
Obstacle Problem
Error Estimation
Finite Element Approximation
Numerical Computation
Error analysis
Variational Inequalities
Existence of Solutions
Numerical Examples

Keywords

  • Error estimates
  • Numerical verification
  • Obstacle problems
  • Quadratic programming

ASJC Scopus subject areas

  • Computational Mathematics
  • Applied Mathematics

Cite this

Numerical verification of solutions for obstacle problems. / Ryoo, Cheon Seoung; Nakao, Mitsuhiro T.

In: Journal of Computational and Applied Mathematics, Vol. 161, No. 2, 15.12.2003, p. 405-416.

Research output: Contribution to journalArticle

Ryoo, Cheon Seoung ; Nakao, Mitsuhiro T. / Numerical verification of solutions for obstacle problems. In: Journal of Computational and Applied Mathematics. 2003 ; Vol. 161, No. 2. pp. 405-416.
@article{9d1b2d43434a418e9bbc27bda58db1dc,
title = "Numerical verification of solutions for obstacle problems",
abstract = "This article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same authors. We propose a method to prove the existence of solutions for more general obstacle problems by numerical computations. The main task in this paper consists of the numerical determination of some constants which appear in a priori error estimations for the finite element approximation of a simple variational inequality. We present a numerical example for verification.",
keywords = "Error estimates, Numerical verification, Obstacle problems, Quadratic programming",
author = "Ryoo, {Cheon Seoung} and Nakao, {Mitsuhiro T.}",
year = "2003",
month = "12",
day = "15",
doi = "10.1016/j.cam.2003.05.006",
language = "English",
volume = "161",
pages = "405--416",
journal = "Journal of Computational and Applied Mathematics",
issn = "0377-0427",
publisher = "Elsevier",
number = "2",

}

TY - JOUR

T1 - Numerical verification of solutions for obstacle problems

AU - Ryoo, Cheon Seoung

AU - Nakao, Mitsuhiro T.

PY - 2003/12/15

Y1 - 2003/12/15

N2 - This article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same authors. We propose a method to prove the existence of solutions for more general obstacle problems by numerical computations. The main task in this paper consists of the numerical determination of some constants which appear in a priori error estimations for the finite element approximation of a simple variational inequality. We present a numerical example for verification.

AB - This article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same authors. We propose a method to prove the existence of solutions for more general obstacle problems by numerical computations. The main task in this paper consists of the numerical determination of some constants which appear in a priori error estimations for the finite element approximation of a simple variational inequality. We present a numerical example for verification.

KW - Error estimates

KW - Numerical verification

KW - Obstacle problems

KW - Quadratic programming

UR - http://www.scopus.com/inward/record.url?scp=0242540041&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0242540041&partnerID=8YFLogxK

U2 - 10.1016/j.cam.2003.05.006

DO - 10.1016/j.cam.2003.05.006

M3 - Article

VL - 161

SP - 405

EP - 416

JO - Journal of Computational and Applied Mathematics

JF - Journal of Computational and Applied Mathematics

SN - 0377-0427

IS - 2

ER -