Numerical verification methods for solutions of the free boundary problem

Kouji Hashimoto*, Kenta Kobayashi, Mitsuhiro T. Nakao

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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 languageEnglish
Pages (from-to)523-542
Number of pages20
JournalNumerical Functional Analysis and Optimization
Issue number4-5
Publication statusPublished - 2005
Externally publishedYes


  • Enclosure methods
  • Free boundary
  • Numerical verification methods

ASJC Scopus subject areas

  • Applied Mathematics
  • Control and Optimization


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

Cite this