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 - 2017

Fingerprint

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

Keywords

  • Biharmonic problem
  • Computer-assisted proof
  • Differential operators

ASJC Scopus subject areas

  • Software
  • Computational Mathematics
  • Applied Mathematics

Cite this

Kinoshita, T., Watanabe, Y., & Nakao, M. T. (2017). Validated constructive error estimations for biharmonic problems. Reliable Computing, 25, 168-177.

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

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

Research output: Contribution to journalArticle

Kinoshita, T, Watanabe, Y & Nakao, MT 2017, 'Validated constructive error estimations for biharmonic problems', Reliable Computing, vol. 25, pp. 168-177.
Kinoshita T, Watanabe Y, Nakao MT. Validated constructive error estimations for biharmonic problems. Reliable Computing. 2017;25:168-177.
Kinoshita, Takehiko ; Watanabe, Yoshitaka ; Nakao, Mitsuhiro T. / Validated constructive error estimations for biharmonic problems. In: Reliable Computing. 2017 ; Vol. 25. pp. 168-177.
@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

VL - 25

SP - 168

EP - 177

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

ER -