Validated constructive error estimations for biharmonic problems

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)168-177
Number of pages10
JournalReliable Computing
Volume25
Publication statusPublished - Jan 1 2017

Fingerprint

Computer-assisted Proof
Biharmonic Problem
Biharmonic Equation
Computational Techniques
Error Estimation
Error analysis
Nonlinear Problem
Error Estimates
Numerical Examples

All Science Journal Classification (ASJC) codes

  • Software
  • Computational Mathematics
  • Applied Mathematics

Cite this

Validated constructive error estimations for biharmonic problems. / Kinoshita, Takehiko; Watanabe, Yoshitaka; Nakao, Mitsuhiro T.

In: Reliable Computing, Vol. 25, 01.01.2017, p. 168-177.

Research output: Contribution to journalArticle

Kinoshita, Takehiko ; Watanabe, Yoshitaka ; Nakao, Mitsuhiro T. / Validated constructive error estimations for biharmonic problems. In: Reliable Computing. 2017 ; Vol. 25. pp. 168-177.
@article{3b234ba423fb435d8acd56a1607b87b8,
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.",
author = "Takehiko Kinoshita and Yoshitaka Watanabe and Nakao, {Mitsuhiro T.}",
year = "2017",
month = "1",
day = "1",
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/1/1

Y1 - 2017/1/1

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.

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

VL - 25

SP - 168

EP - 177

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

ER -