Rigorous enclosures of solutions of Neumann boundary value problems

DOI10.1016/j.apnum.2022.05.011zbMath1505.34039arXiv2005.02755OpenAlexW3021210046WikidataQ113880066 ScholiaQ113880066MaRDI QIDQ2154877

Marcio Gameiro, Victor Nolasco, Eduardo Ramos

Publication date: 15 July 2022

Published in: Applied Numerical Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.02755

zbMATH Keywords

boundary value problemscomputer-assisted proofsNewton-Kantorovich theoremrigorous numerics

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Theoretical approximation of solutions to ordinary differential equations (34A45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• The monotone iterative method and zeros of Bessel functions for nonlinear singular derivative dependent BVP in the presence of upper and lower solutions
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Validated continuation over large parameter ranges for equilibria of PDEs
• Functional analysis, Sobolev spaces and partial differential equations
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
• A constructive monotone iterative method for second-order BVP in the presence of lower and upper solutions
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• Verification methods: Rigorous results using floating-point arithmetic
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
• A numerical approach to the proof of existence of solutions for elliptic problems
• Positive Solutions of Singular Sublinear Dirichlet Boundary Value Problems
• Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
• Newton’s Method: an Updated Approach of Kantorovich’s Theory
• Spectral theory of linear operators and spectral systems in Banach algebras

This page was built for publication: Rigorous enclosures of solutions of Neumann boundary value problems