Numerical verification methods for solutions of the free boundary problem

Kouji Hashimoto; Kenta Kobayashi; Mitsuhiro T. Nakao

doi:10.1080/01630560500248314

Numerical verification methods for solutions of the free boundary problem

Kouji Hashimoto, Kenta Kobayashi, Mitsuhiro T. Nakao

Research output: Contribution to journal › Article

Abstract

We propose two methods to enclose the solution of an ordinary free boundary problem. The problem is reformulated as a nonlinear boundary value problem on a fixed interval including an unknown parameter. By appropriately setting a functional space that depends on the finite element approximation, the solution is represented as a fixed point of a compact map. Then, by using the finite element projection with constructive error estimates, a Newton-type verification procedure is derived. In addition, numerical examples confirming the effectiveness of current methods are given.

Original language	English
Pages (from-to)	523-542
Number of pages	20
Journal	Numerical Functional Analysis and Optimization
Volume	26
Issue number	4-5
DOIs	https://doi.org/10.1080/01630560500248314
Publication status	Published - 2005
Externally published	Yes

Keywords

Enclosure methods
Free boundary
Numerical verification methods

ASJC Scopus subject areas

Applied Mathematics
Control and Optimization

Access to Document

10.1080/01630560500248314

Fingerprint Dive into the research topics of 'Numerical verification methods for solutions of the free boundary problem'. Together they form a unique fingerprint.

Cite this

@article{461cf3d699aa4f46ad0ace445481ec7d,

title = "Numerical verification methods for solutions of the free boundary problem",

abstract = "We propose two methods to enclose the solution of an ordinary free boundary problem. The problem is reformulated as a nonlinear boundary value problem on a fixed interval including an unknown parameter. By appropriately setting a functional space that depends on the finite element approximation, the solution is represented as a fixed point of a compact map. Then, by using the finite element projection with constructive error estimates, a Newton-type verification procedure is derived. In addition, numerical examples confirming the effectiveness of current methods are given.",

keywords = "Enclosure methods, Free boundary, Numerical verification methods",

author = "Kouji Hashimoto and Kenta Kobayashi and Nakao, {Mitsuhiro T.}",

year = "2005",

doi = "10.1080/01630560500248314",

language = "English",

volume = "26",

pages = "523--542",

journal = "Numerical Functional Analysis and Optimization",

issn = "0163-0563",

publisher = "Taylor and Francis Ltd.",

number = "4-5",

}

TY - JOUR

T1 - Numerical verification methods for solutions of the free boundary problem

AU - Hashimoto, Kouji

AU - Kobayashi, Kenta

AU - Nakao, Mitsuhiro T.

PY - 2005

Y1 - 2005

N2 - We propose two methods to enclose the solution of an ordinary free boundary problem. The problem is reformulated as a nonlinear boundary value problem on a fixed interval including an unknown parameter. By appropriately setting a functional space that depends on the finite element approximation, the solution is represented as a fixed point of a compact map. Then, by using the finite element projection with constructive error estimates, a Newton-type verification procedure is derived. In addition, numerical examples confirming the effectiveness of current methods are given.

AB - We propose two methods to enclose the solution of an ordinary free boundary problem. The problem is reformulated as a nonlinear boundary value problem on a fixed interval including an unknown parameter. By appropriately setting a functional space that depends on the finite element approximation, the solution is represented as a fixed point of a compact map. Then, by using the finite element projection with constructive error estimates, a Newton-type verification procedure is derived. In addition, numerical examples confirming the effectiveness of current methods are given.

KW - Enclosure methods

KW - Free boundary

KW - Numerical verification methods

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

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

U2 - 10.1080/01630560500248314

DO - 10.1080/01630560500248314

M3 - Article

AN - SCOPUS:27744555836

VL - 26

SP - 523

EP - 542

JO - Numerical Functional Analysis and Optimization

JF - Numerical Functional Analysis and Optimization

SN - 0163-0563

IS - 4-5

ER -