Rigorous enclosures of solutions of Neumann boundary value problems

This paper is dedicated to the problem of isolating and validating zeros of non-linear two point boundary value problems. We present a method for such purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated zeros of two point boundary value problem with Neumann boundary condit...

Full description

Saved in:
Bibliographic Details
Published in:Applied numerical mathematics 2022-10, Vol.180, p.104-119
Main Authors: Ramos, Eduardo, Nolasco, Victor, Gameiro, Marcio
Format: Article
Language:English
Subjects:
Boundary value problems
Computer-assisted proofs
Newton-Kantorovich theorem
Rigorous numerics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper is dedicated to the problem of isolating and validating zeros of non-linear two point boundary value problems. We present a method for such purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated zeros of two point boundary value problem with Neumann boundary conditions.
ISSN:0168-9274
1873-5460
DOI:10.1016/j.apnum.2022.05.011