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
Pages
17
From page
1227
To page
1243
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
Serial Year
2011
Journal title
Communications in Nonlinear Science and Numerical Simulation
Record number
1535809
Link To Document