A posteriori error bounds for two point boundary value problems: a Green's function approach
DOI10.3934/jcd.2015001zbMath1366.37050arXiv1410.0785OpenAlexW2964229568MaRDI QIDQ317173
Publication date: 30 September 2016
Published in: Journal of Computational Dynamics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.0785
singular perturbationperiodic orbittwo-point boundary value problemsa posteriori error analysiscomputer assisted proof
Nonlinear boundary value problems for ordinary differential equations (34B15) Green's functions for ordinary differential equations (34B27) Periodic orbits of vector fields and flows (37C27) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Error bounds for numerical methods for ordinary differential equations (65L70) Algorithms with automatic result verification (65G20) Numerical solution of singularly perturbed problems involving ordinary differential equations (65L11)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- A programmed algorithm for existence proofs for two-point boundary value problems
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Relativistic stability of matter. I
- Computer-assisted existence proofs for two-point boundary value problems
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Rigorous computational shadowing of orbits of ordinary differential equations
- An inverse problem for a second-order differential equation in a Banach space
- Validated solutions of initial value problems for ordinary differential equations
- Computer assisted proof of chaos in the Lorenz equations
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Galerkin's procedure for nonlinear periodic systems
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- Introduction to Interval Analysis
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- Computable a Posteriori $L_\infty $-Error Bounds for the Approximate Solution of Two-Point Boundary Value Problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- The Lorenz attractor exists
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- A Fast Adaptive Numerical Method for Stiff Two-Point Boundary Value Problems
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
This page was built for publication: A posteriori error bounds for two point boundary value problems: a Green's function approach
