Numerical Verification Methods for Solutions of the Free Boundary Problem

DOI10.1080/01630560500248314zbMath1081.65081OpenAlexW2091747066MaRDI QIDQ5704525

Kenta Kobayashi, Kouji Hashimoto, Mitsuhiro T. Nakao

Publication date: 15 November 2005

Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2324/11837

zbMATH Keywords

numerical examplesnonlinear boundary value problemsfree boundary value problemenclosure methodsnumerical verification methods

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations (65L60) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Algorithms with automatic result verification (65G20)

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• A note on monotonicity properties of a free boundary problem for an ordinary differential equation
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• AN ENCLOSURE METHOD FOR FREE BOUNDARY PROBLEMS BASED ON A LINEAR COMPLEMENTARITY PROBLEM WITH INTERVAL DATA^*
• A numerical approach to the proof of existence of solutions for elliptic problems

This page was built for publication: Numerical Verification Methods for Solutions of the Free Boundary Problem