A posteriori error bounds for two point boundary value problems: a Green's function approach

DOI10.3934/JCD.2015001zbMATH Open1366.37050OpenAlexW2964229568MaRDI QIDQ317173FDOQ317173

Authors: Jeremiah Birrell 

Publication date: 30 September 2016

Published in: Journal of Computational Dynamics (Search for Journal in Brave)

Abstract: We present a computer assisted method for generating existence proofs and a posteriori error bounds for solutions to two point boundary value problems (BVPs). All truncation errors are accounted for and, if combined with interval arithmetic to bound the rounding errors, the computer generated results are mathematically rigorous. The method is formulated for $n$-dimensional systems and does not require any special form for the vector field of the differential equation. It utilizes a numerically generated approximation to the BVP fundamental solution and Green's function and thus can be applied to stable BVPs whose initial value problem is unstable. The utility of the method is demonstrated on a pair of singularly perturbed model BVPs and by using it to rigorously show the existence of a periodic orbit in the Lorenz system.

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

Recommendations

• Computer-assisted existence proofs for two-point boundary value problems
• scientific article; zbMATH DE number 3949645
• A posteriori error bounds for the back-and-forth shooting method
• scientific article; zbMATH DE number 1639666
• Computer-assisted proofs for semilinear elliptic boundary value problems

zbMATH Keywords

periodic orbitsingular perturbationa posteriori error analysistwo-point boundary value problemscomputer assisted proof

Mathematics Subject Classification ID

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) Numerical solution of singularly perturbed problems involving ordinary differential equations (65L11) Algorithms with automatic result verification (65G20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Fast Adaptive Numerical Method for Stiff Two-Point Boundary Value Problems
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• A Posteriori Error Bounds for Two-Point Boundary Value Problems
• A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
• A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
• A homoclinic solution for excitation waves on a contractile substratum
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• A programmed algorithm for existence proofs for two-point boundary value problems
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
• An inverse problem for a second-order differential equation in a Banach space
• Computable a Posteriori $L_\infty $-Error Bounds for the Approximate Solution of Two-Point Boundary Value Problems
• Computer assisted proof of chaos in the Lorenz equations
• Computer assisted proof of chaos in the Rössler equations and in the Hénon map
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• Computer-assisted existence proofs for two-point boundary value problems
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Galerkin's procedure for nonlinear periodic systems
• Introduction to Interval Analysis
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Relativistic stability of matter. I
• Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
• Rigorous computational shadowing of orbits of ordinary differential equations
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Rigorous numerics for nonlinear differential equations using Chebyshev series
• Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
• The Lorenz attractor exists
• Validated numerics. A short introduction to rigorous computations.
• Validated solutions of initial value problems for ordinary differential equations

Cited In (2)

• A numerical verification method for solutions of singularly perturbed problems with nonlinearity
• A posteriori error bounds for the back-and-forth shooting method

Uses Software

• INTLAB

This page was built for publication: A posteriori error bounds for two point boundary value problems: a Green's function approach

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