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

被引：2

作者：

Fogelklou, Oswald ^{[1
]}

Tucker, Warwick ^{[1
]}

Kreiss, Gunilla ^{[2
]}

Siklosi, Malin ^{[2
]}

机构：

[1] Uppsala Univ, Dept Math, SE-75106 Uppsala, Sweden

[2] Uppsala Univ, Dept Informat Technol, SE-75105 Uppsala, Sweden

来源：

COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION | 2011年 / 16卷 / 03期

关键词：

Computer-assisted proof; Numerical verification; Viscous Burgers' equation; Enclosure; Existence; Two-point boundary value problems; Fixed-point problems; NUMERICAL VERIFICATION METHOD;

D O I：

10.1016/j.cnsns.2010.07.008

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

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. (C) 2010 Elsevier B.V. All rights reserved.

引用

页码：1227 / 1243

页数：17

共 22 条

[11]

Kreiss H.-O., 1989, PURE APPL MATH, V136

[12] Self-similar solutions of the Burgers hierarchy [J].