Numerical Verification Methods for Solutions of the Free Boundary Problem

DOI10.1080/01630560500248314MaRDI QIDQ5704525zbMATH OpenOpenAlexFDO

Authors 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

enclosure methodsfree boundary value problemnonlinear boundary value problemsnumerical examplesnumerical verification methods

Mathematics Subject Classification ID

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

Review text

The authors study numerical verification methods for the solution of a free boundary value problem. They formulate the problem as a fixed point equation on a certain function space together with an unknown parameter and apply their numerical verification method to the solution of nonlinear boundary value problems. This method is based on a Newton-type formulation and the fixed point theorem of \textit{M. T. Nako, K. Hashimoto} and \textit{Y. Watanabe} [Computing 75, No. 1, 1--14 (2005; Zbl 1151.35337)]. In their analysis no existential assumptions are required for the solution to the original problem. Numerical examples confirming the effectiveness of proposed methods are presented.

Recommendations

• Numerical verification methods for solutions of free boundary problems
• scientific article; zbMATH DE number 852355
• Numerical verifications of solutions for nonlinear elliptic equations
• Numerical verification of solutions for some unilateral boundary value problems.
• scientific article; zbMATH DE number 440800

Cites work

• A note on monotonicity properties of a free boundary problem for an ordinary differential equation
• A numerical approach to the proof of existence of solutions for elliptic problems
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• AN ENCLOSURE METHOD FOR FREE BOUNDARY PROBLEMS BASED ON A LINEAR COMPLEMENTARITY PROBLEM WITH INTERVAL DATA^*
• scientific article; zbMATH DE number 3520921 (Why is no real title available?)
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

Cited in

(7)

• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Accelerated enclosure methods for ordinary free boundary problems
• Design and verification methodology of boundary conditions for finite volume schemes
• scientific article; zbMATH DE number 4178671 (Why is no real title available?)
• Numerical verification of solutions for Signorini problems using Newton-like method
• A numerical test for the existeence and uniqeness of solution of free boundery problems
• Numerical verification methods for solutions of free boundary problems

Describes a project that uses

Uses Software

• INTLAB

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5704525)