Validated constructive error estimations for biharmonic problems

Takehiko Kinoshita; Yoshitaka Watanabe; Mitsuhiro T. Nakao

Validated constructive error estimations for biharmonic problems

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Waseda Research Institute for Science and Engineering

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

Abstract

This paper presents some constructive error estimates for two-dimensional biharmonic equations by using verified computational techniques. These estimations are expected to provide valuable information for computer-assisted proofs of nonlinear biharmonic problems. Several numerical examples that confirm the effectiveness are reported.

Original language	English
Pages (from-to)	168-177
Number of pages	10
Journal	Reliable Computing
Volume	25
Publication status	Published - 2017

Keywords

Biharmonic problem
Computer-assisted proof
Differential operators

ASJC Scopus subject areas

Software
Computational Mathematics
Applied Mathematics

Cite this

@article{ac9c258a0552464f932c79901802a9e1,

title = "Validated constructive error estimations for biharmonic problems",

abstract = "This paper presents some constructive error estimates for two-dimensional biharmonic equations by using verified computational techniques. These estimations are expected to provide valuable information for computer-assisted proofs of nonlinear biharmonic problems. Several numerical examples that confirm the effectiveness are reported.",

keywords = "Biharmonic problem, Computer-assisted proof, Differential operators",

author = "Takehiko Kinoshita and Yoshitaka Watanabe and Nakao, {Mitsuhiro T.}",

year = "2017",

language = "English",

volume = "25",

pages = "168--177",

journal = "Reliable Computing",

issn = "1385-3139",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Validated constructive error estimations for biharmonic problems

AU - Kinoshita, Takehiko

AU - Watanabe, Yoshitaka

AU - Nakao, Mitsuhiro T.

PY - 2017

Y1 - 2017

N2 - This paper presents some constructive error estimates for two-dimensional biharmonic equations by using verified computational techniques. These estimations are expected to provide valuable information for computer-assisted proofs of nonlinear biharmonic problems. Several numerical examples that confirm the effectiveness are reported.

AB - This paper presents some constructive error estimates for two-dimensional biharmonic equations by using verified computational techniques. These estimations are expected to provide valuable information for computer-assisted proofs of nonlinear biharmonic problems. Several numerical examples that confirm the effectiveness are reported.

KW - Biharmonic problem

KW - Computer-assisted proof

KW - Differential operators

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

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

M3 - Article

AN - SCOPUS:85031102320

SN - 1385-3139

VL - 25

SP - 168

EP - 177

JO - Reliable Computing

JF - Reliable Computing

ER -

Validated constructive error estimations for biharmonic problems

Abstract

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this