Title of article :
A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
Author/Authors :
Fogelklou، نويسنده , , Oswald and Tucker، نويسنده , , Warwick and Kreiss، نويسنده , , Gunilla and Siklosi، نويسنده , , Malin، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2011
Abstract :
In this paper, we present a computer-assisted method that establishes the existence and local uniqueness of a stationary solution to the viscous Burgers’ equation. The problem formulation involves a left boundary condition and one integral boundary condition, which is a variation of a previous approach.
Keywords :
Two-point boundary value problems , Fixed-point problems , Computer-assisted proof , Viscous Burgers’ equation , enclosure , numerical verification , existence
Journal title :
Communications in Nonlinear Science and Numerical Simulation
Journal title :
Communications in Nonlinear Science and Numerical Simulation
