Rigorous enclosures of solutions of Neumann boundary value problems

被引：0
|
作者：
Ramos, Eduardo [1 ]
Nolasco, Victor [1 ]
Gameiro, Marcio [1 ,2 ]
机构：
[1] Univ Sao Paulo, Inst Ciencias Matemat & Computacao, BR-13560970 Sao Carlos, SP, Brazil
[2] Rutgers State Univ, Dept Math, Piscataway, NJ USA
来源：
APPLIED NUMERICAL MATHEMATICS | 2022年 / 180卷
基金：
美国国家卫生研究院; 瑞典研究理事会; 美国国家科学基金会; 巴西圣保罗研究基金会;
关键词：
Newton-Kantorovich theorem; Rigorous numerics; Computer-assisted proofs; Boundary value problems; INVARIANT-MANIFOLDS; CONNECTING ORBITS; PARAMETERIZATION; CONTINUATION; NUMERICS;
D O I：
10.1016/j.apnum.2022.05.011
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：104 / 119
页数：16
相关论文
共 50 条
12345