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

作者：Fogelklou Oswald; Tucker Warwick^*; Kreiss Gunilla; Siklosi Malin

来源：Communications in Nonlinear Science & Numerical Simulation, 2011, 16(3): 1227-1243.

DOI：10.1016/j.cnsns.2010.07.008

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

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.

• 出版日期2011-3