A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition

Oswald Fogelklou, Warwick Tucker, Gunilla Kreiss, Malin Siklosi

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)1227-1243
Number of pages17
JournalCommunications in Nonlinear Science and Numerical Simulation
Issue number3
Publication statusPublished - 1 Mar 2011
Externally publishedYes


  • Computer-assisted proof
  • Enclosure
  • Existence
  • Fixed-point problems
  • Numerical verification
  • Two-point boundary value problems
  • Viscous Burgers' equation

Cite this